Populaire onderwerpen
#
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
Blockchain-ontwikkelaar, Ethereum-fan, white hat-hacker en Catalaanse vrijheidsstrijder. Momenteel wordt er gebouwd aan ZisK.
Jordi Baylina - baylina.eth heeft opnieuw gepost
Neutrale evaluatie van diverse #zkVM-implementaties onthult inzichten in hun ontwerp en prestaties. ZisK-analyse voltooid. @jbaylina @ziskvm
🧐 Naast de geweldige emulator heeft ZisK de volgende functies:
🔹 CPU/GPU-parallelisme: #CPU verzorgt de getuigenisgeneratie terwijl #GPU de bewijsgeneratie beheert, die gelijktijdig draait. 💻✨
🔹 Bijna 100% GPU-utilisatie: Dankzij onafhankelijke circuits (hoofd, geheugen, ram, enz.) en taakverdeling via multi-threading + multi-streaming. 🚀
Top 3 GPU-kernels (Tijdverbruik):
🔹 computeExpressions: 40%. ⏱️
🔹 br_ntt_8_steps: ~20%. ⏱️
🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️
Optimalisatiemogelijkheden:
🔹 Voor br_ntt_8_steps:
· Hergebruik twiddle-factoren over kernels (momenteel elke keer opnieuw gegenereerd). ♻️
· Voeg een native-to-bit-reverse NTT-kernel toe om overbodige bit-reverse stappen tijdens commits te elimineren. ⚙️
🔹 Voor computeExpressions:
· GPU-resources zijn volledig benut. Toekomstige winsten kunnen vereisen dat de operaties van de bewijs sleutel geoptimaliseerd worden voor efficiëntie. 🔍
Raad welke zkVM we als volgende zullen analyseren? 🤔 @eth_proofs

1,37K
Dit is een cruciale mijlpaal in de formele verificatie van zk-provers — een essentiële stap in het opbouwen van vertrouwen en verifieerbaarheid binnen het ZK-ecosysteem.

The Costa Group6 aug, 23:43
🚨 Twee kritieke stabiliteitsfouten gevonden in ZisK met CIVER 🚨
In samenwerking met het ontwikkelteam van @ziskvm past de Costa-groep formele methoden toe om recursie/aggregatiecircuits van ZisK te verifiëren.
🔗Meer details hier:
🧵
1,96K
Deze release is volledig open source, 128 bits beveiliging en bewijzen #ethereum blokken in real-time.

ziskvm11 jul 2025
📢 We hebben zojuist Zisk v0.9.0 uitgebracht — een belangrijke update met veel verbeteringen, optimalisaties en bugfixes.
Het is een betekenisvolle stap vooruit, en we blijven gestaag verbeteren.
📦
#ZK #zkVM #Ethereum #Zisk @eth_proofs

4,15K
Jordi Baylina - baylina.eth heeft opnieuw gepost
Ik ben blij te zien dat Jordy Baylina zich inzet voor een gedeelde standaard—128-bits beveiliging. Ik voel me echter genoodzaakt om toe te voegen: het doet er alleen toe als het wiskundig verifieerbaar is, oftewel zonder vertrouwen! Een vertrouwde setup is voor mij in wezen 80-bits beveiliging.
9,65K
Jordi Baylina - baylina.eth heeft opnieuw gepost
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,56K
Jordi Baylina - baylina.eth heeft opnieuw gepost
Ik heb een geweldige @EthCC-avond doorgebracht met veel slimere mensen dan ikzelf: de @ethereum-architect @drakefjustin en de ZKatooor @jbaylina (lid van de DAO white hat-groep van ethereum en als ik het goed heb ook van de parity-hack).
Bedankt @ekang426 voor het organiseren van een geweldig diner!

12,41K
Boven
Positie
Favorieten
Populair op onchain
Populair op X
Recente topfinanciering
Belangrijkste