Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Jordi Baylina - baylina.eth
Dezvoltator blockchain, fan Ethereum, hacker white hat și luptător pentru libertatea Cataloniei. În prezent se construiește ZisK.
Jordi Baylina - baylina.eth a repostat
Evaluarea neutră a diferitelor implementări #zkVM dezvăluie informații despre designul și performanța lor. Analiza ZisK finalizată. @jbaylina @ziskvm
🧐 Pe lângă emulatorul uimitor, ZisK are următoarele caracteristici:
🔹 Paralelism CPU/GPU: #CPU gestionează generarea martorilor în timp ce #GPU gestionează generarea de dovezi, care rulează simultan. 💻✨
🔹 Aproape 100% utilizare GPU: Datorită circuitelor independente (principal, mem, ram etc.) și distribuției sarcinilor prin multi-threading + multi-streaming. 🚀
Top 3 nuclee GPU (consum de timp):
🔹 computeExpressions: 40%. ⏱️
🔹 br_ntt_8_steps: ~20%. ⏱️
🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️
Oportunități de optimizare:
🔹 Pentru br_ntt_8_steps:
· Reutilizați factorii de twiddle între nuclee (în prezent regenerați de fiecare dată). ♻️
· Adăugați un nucleu NTT nativ la bit invers pentru a elimina pașii redundanti de inversare a biților în timpul comiterilor. ⚙️
🔹 Pentru expresii de calcul:
· Resursele GPU sunt utilizate pe deplin. Câștigurile viitoare pot necesita optimizarea operațiunilor cheii de verificare pentru eficiență. 🔍
Ghici ce zkVM vom analiza în continuare? 🤔 @eth_proofs

1,37K
Aceasta este o etapă crucială către verificarea formală a demonstratorilor zk - un pas esențial în stabilirea încrederii și verificabilității în ecosistemul ZK.

The Costa Group6 aug., 23:43
🚨 Două bug-uri critice de soliditate găsite în ZisK folosind CIVER 🚨
Într-o colaborare cu echipa de dezvoltare @ziskvm, grupul Costa aplică metode formale pentru a verifica circuitele de recursivitate/agregare ale ZisK.
🔗Mai multe detalii aici:
🧵
1,95K
Această versiune este complet open source, securitate pe 128 de biți și dovezi #ethereum blocuri în timp real.

ziskvm11 iul. 2025
📢 Tocmai am lansat Zisk v0.9.0 - o actualizare importantă cu multe îmbunătățiri, optimizări și remedieri de erori.
Este un pas semnificativ înainte și continuăm să ne îmbunătățim în mod constant.
📦
#ZK #zkVM #Ethereum #Zisk @eth_proofs

4,14K
Jordi Baylina - baylina.eth a repostat
Mă bucur să văd că Jordy Baylina cere un standard comun – securitate pe 128 de biți. Mă simt obligat să adaug, totuși: contează doar dacă este verificabil matematic, adică fără încredere! Configurația de încredere, pentru mine, este practic securitate pe 80 de biți.
9,64K
Jordi Baylina - baylina.eth a repostat
I’ve spent a lovely @EthCC night with much smarter people than myself: the @ethereum architect @drakefjustin and the ZKatooor @jbaylina (member of the DAO white hat group of ethereum and if I’m not mistaken the parity hack too).
Thanks @ekang426 for hosting a great dinner!

12,41K
Limită superioară
Clasament
Favorite
La modă pe lanț
La modă pe X
Principalele finanțări recente
Cele mai importante