1 / Nova postagem: Jolt agora prova programas RISC-V com registradores de 64 bits (RV64IMAC), em velocidades superiores às que relatamos anteriormente para 32 bits. 1,5 milhão de ciclos/s em uma CPU de 32 núcleos, 500 mil ciclos/s em um MacBook. Veja por que isso é importante 🧵

2/ Por que se preocupar com a prova de 64 bits? Duas razões: 🔹 Desempenho: muitos aplicativos precisam de menos ciclos com regs de 64 bits. Exemplo: uma multiplicação de 256 bits leva 6× ciclos a menos. 🔹 Suporte a linguagens: algumas linguagens (como Go) não compilam para RV32, então RV64 é necessário para provar programas como Geth

3/ Então, como o Jolt atingiu as velocidades do RV64 que correspondem aos nossos resultados do RV32? Duas razões: 1️⃣ O Jolt é construído para grandes registros. Outras zkVMs dividem valores de 64 bits em bytes (8 elementos de campo por valor), uma enorme sobrecarga. Os campos de grandes características do Jolt lidam com eles diretamente.

4/ Como resultado, quando outras zkVMs dobram o tamanho do registro, elas geralmente são 2× mais lentas por ciclo. O choque é apenas 1,5× mais lento.

5/ 2️⃣ Continuamos otimizando. Juntamente com as técnicas conhecidas, adicionamos novos avanços em nível de pesquisa. Esses ganhos já mais do que compensaram a desaceleração de 1,5×, então o RV64 agora corre mais rápido do que o RV32 há dois meses.

6/ O uso de memória também continua caindo, agora em ~ 700 MB por milhão de ciclos. Hoje, em <2 GB, você pode provar o conhecimento de muitas assinaturas digitais ou que dezenas de KB de dados foram corretamente hash SHA.

7/ Com o Twist & Shout integrado, estamos em uma cadência constante de marcos. A seguir: –Recursão – O provador de streaming (mantenha o espaço do provador abaixo de 2 GB para contagens de ciclo arbitrariamente grandes, sem recursão) – Conhecimento zero