Rubriques tendance
#
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
Développeur de blockchain, fan d’Ethereum, hacker au chapeau blanc et combattant de la liberté en Catalogne. Actuellement en train de construire ZisK.
Jordi Baylina - baylina.eth a reposté
Une évaluation neutre des diverses implémentations de #zkVM révèle des informations sur leur conception et leur performance. Analyse de ZisK terminée. @jbaylina @ziskvm
🧐 En plus de l'incroyable émulateur, ZisK possède les fonctionnalités suivantes :
🔹 Parallélisme CPU/GPU : le #CPU gère la génération de témoins tandis que le #GPU s'occupe de la génération de preuves, fonctionnant en parallèle. 💻✨
🔹 Utilisation GPU proche de 100 % : grâce à des circuits indépendants (principal, mémoire, ram, etc.) et à la distribution des tâches via le multi-threading + le multi-streaming. 🚀
Top 3 des noyaux GPU (Consommation de temps) :
🔹 computeExpressions : 40 %. ⏱️
🔹 br_ntt_8_steps : ~20 %. ⏱️
🔹 linear_hash_gpu_coalesced_2 : ~15 %. ⏱️
Opportunités d'optimisation :
🔹 Pour br_ntt_8_steps :
· Réutiliser les facteurs de twiddle à travers les noyaux (actuellement régénérés à chaque fois). ♻️
· Ajouter un noyau NTT natif à bit inversé pour éliminer les étapes de bit inversé redondantes lors des engagements. ⚙️
🔹 Pour computeExpressions :
· Les ressources GPU sont pleinement utilisées. Les gains futurs pourraient nécessiter d'optimiser les opérations de la clé de preuve pour plus d'efficacité. 🔍
Devinez quel zkVM nous allons analyser ensuite ? 🤔 @eth_proofs
1,37K
C'est une étape cruciale vers la vérification formelle des zk provers — une étape essentielle pour établir la confiance et la vérifiabilité dans l'écosystème ZK.
6 août, 23:43
🚨 Deux bugs critiques de solidité trouvés dans ZisK en utilisant CIVER 🚨
Dans une collaboration avec l'équipe de développement @ziskvm, le groupe Costa applique des méthodes formelles pour vérifier les circuits de récursion/agrégation de ZisK.
🔗Plus de détails ici :
🧵
1,95K
Cette version est entièrement open source, avec une sécurité de 128 bits, et prouve les blocs #ethereum en temps réel.
11 juil. 2025
📢 Nous venons de publier Zisk v0.9.0 — une mise à jour importante avec de nombreuses améliorations, optimisations et corrections de bugs.
C'est un pas en avant significatif, et nous continuons à nous améliorer régulièrement.
📦
#ZK #zkVM #Ethereum #Zisk @eth_proofs
4,15K
Jordi Baylina - baylina.eth a reposté
Je suis heureux de voir que Jordy Baylina demande une norme partagée : la sécurité à 128 bits. Je me sens obligé d'ajouter, cependant : cela n'a d'importance que si c'est mathématiquement vérifiable, c'est-à-dire sans confiance ! Pour moi, une configuration de confiance équivaut essentiellement à une sécurité à 80 bits.
9,65K
Jordi Baylina - baylina.eth a reposté
J'ai passé une belle nuit @EthCC avec des personnes beaucoup plus intelligentes que moi : l'architecte @ethereum @drakefjustin et le ZKatooor @jbaylina (membre du groupe white hat DAO d'ethereum et si je ne me trompe pas, du hack de Parity aussi).
Merci @ekang426 pour avoir organisé un super dîner !
12,41K
Chez @ziskvm, nous prouvons désormais les blocs Ethereum en temps réel — open source et fonctionnant sur une infrastructure de plus en plus efficace.
C'est une étape précoce mais significative.
Rejoignez-moi aujourd'hui à 13h00 @ EthCC, Redford Stage pour en savoir plus.
#EthCC #ZK #Ethereum #zkVM @eth_proofs
19,45K
Meilleurs
Classement
Favoris