Argomenti di tendenza
#
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
Sviluppatore blockchain, fan di Ethereum, hacker white hat e combattente per la libertà della Catalogna. Attualmente sto costruendo ZisK.
Jordi Baylina - baylina.eth ha ripubblicato
Una valutazione neutrale delle diverse implementazioni di #zkVM rivela intuizioni sul loro design e sulle loro prestazioni. Analisi di ZisK completata. @jbaylina @ziskvm
🧐 Oltre all'incredibile emulatore, ZisK ha le seguenti caratteristiche:
🔹 Parallelismo CPU/GPU: la #CPU gestisce la generazione dei testimoni mentre la #GPU si occupa della generazione delle prove, funzionando in modo concorrente. 💻✨
🔹 Utilizzo della GPU vicino al 100%: grazie a circuiti indipendenti (principale, mem, ram, ecc.) e distribuzione dei compiti tramite multi-threading + multi-streaming. 🚀
Top 3 Kernels GPU (Consumo di Tempo):
🔹 computeExpressions: 40%. ⏱️
🔹 br_ntt_8_steps: ~20%. ⏱️
🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️
Opportunità di Ottimizzazione:
🔹 Per br_ntt_8_steps:
· Riutilizzare i fattori twiddle tra i kernels (attualmente rigenerati ogni volta). ♻️
· Aggiungere un kernel NTT nativo a bit-reverse per eliminare i passaggi ridondanti di bit-reverse durante i commit. ⚙️
🔹 Per computeExpressions:
· Le risorse GPU sono completamente utilizzate. I guadagni futuri potrebbero richiedere l'ottimizzazione delle operazioni della chiave di prova per efficienza. 🔍
Indovina quale zkVM analizzeremo dopo? 🤔 @eth_proofs
1,6K
Questo è un traguardo cruciale per la verifica formale dei prover zk — un passo essenziale per stabilire fiducia e verificabilità nell'ecosistema ZK.
6 ago, 23:43
🚨 Trovati due bug critici di solidità in ZisK utilizzando CIVER 🚨
In collaborazione con il team di sviluppo di @ziskvm, il gruppo Costa sta applicando metodi formali per verificare i circuiti di ricorsione/aggregazione di ZisK.
🔗 Maggiori dettagli qui:
🧵
2,1K
Questa versione è completamente open source, con sicurezza a 128 bit e prova i blocchi #ethereum in tempo reale.
11 lug 2025
📢 Abbiamo appena rilasciato Zisk v0.9.0 — un aggiornamento importante con molte migliorie, ottimizzazioni e correzioni di bug.
È un passo significativo in avanti e stiamo continuando a migliorare costantemente.
📦
#ZK #zkVM #Ethereum #Zisk @eth_proofs
4,27K
Jordi Baylina - baylina.eth ha ripubblicato
Sono contento di vedere che Jordy Baylina sta chiedendo uno standard condiviso: sicurezza a 128 bit. Tuttavia, mi sento obbligato ad aggiungere: conta solo se è matematicamente verificabile, cioè senza fiducia! Un setup fidato, per me, è fondamentalmente sicurezza a 80 bit.
9,71K
Jordi Baylina - baylina.eth ha ripubblicato
We're hosting our first ZisK community call.
Session focused to devs working on real-time proving.
What to expect:
– Deep dive into ZisK architecture and constraint system
– Live Q&A with @jbaylina
– Hands-on examples of working with ZisK
Register now :
2,61K
Jordi Baylina - baylina.eth ha ripubblicato
Ho trascorso una splendida notte @EthCC con persone molto più intelligenti di me: l'architetto di @ethereum @drakefjustin e il ZKatooor @jbaylina (membro del gruppo white hat DAO di ethereum e, se non sbaglio, anche del hack di parity).
Grazie @ekang426 per aver organizzato una cena fantastica!
12,5K
Presso @ziskvm, stiamo ora dimostrando i blocchi di Ethereum in tempo reale — open source e in esecuzione su infrastrutture sempre più efficienti.
È un traguardo precoce ma significativo.
Unisciti a me oggi alle 13:00 @ EthCC, Redford Stage per saperne di più.
#EthCC #ZK #Ethereum #zkVM @eth_proofs
19,57K
Principali
Ranking
Preferiti