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.
Nethermind
Des solutions d’ingénierie et de recherche, permettant aux développeurs et aux entreprises de s’appuyer sur le Web décentralisé. Ethereum @NethermindEth Starknet @NethermindStark
🧵 Je suis ravi de partager que nous travaillons sur une Systématisation des Connaissances (SoK) pour les préconfirmations dans Ethereum.
Une référence collaborative et open-source couvrant la théorie, les conceptions, les critiques et les mises en œuvre dans le monde réel.
Soutenu par @taikoxyz et une subvention de @EF_ESP.
(1/4)
5,58K
Notre Responsable de la Recherche @mpfzajac partage la vision de Nethermind pour Ethereum : Évoluer vers des milliards d'utilisateurs et d'agents IA en utilisant ZK.
· Décharger les calculs lourds hors chaîne
· Vérifier efficacement sur chaîne
Cela débloque des systèmes vérifiables et à haut débit pour l'ère agentique.
18 juil., 04:51
"Nous voyons l'avenir d'Ethereum comme ayant un milliard d'utilisateurs humains." - @mpfzajac de @NethermindEth
"Nous aurons également des milliards d'agents, par exemple, déployés par des protocoles comme @virtuals_io."
"Nous voyons Ethereum comme cet endroit où nous devons vraiment compter les acteurs par milliards."
"Avec ZK, ce que vous pouvez faire, c'est décharger une partie du calcul hors chaîne et uniquement vérifier sur chaîne."
3,79K
Dans le dernier fil, nous avons promis plus d'informations sur l'évaluation des gaz.
Grâce à une évaluation structurée des gaz, nous avons :
— Mis en évidence les goulets d'étranglement des opcodes
— Amélioré les performances des transactions 7702
— Aidé certains clients à réduire l'exécution dans le pire des cas de plus de 25 %
— Débloqué 45 millions de blocs de gaz
Voici comment cela s'est produit 👇
109
Nethermind a reposté
L'équipe de Vérification Formelle de @NethermindSec, avec le soutien de @ethereumfndn à travers le 2024 ZK Grants Round, a développé Halva : une infrastructure pour la vérification formelle des circuits zk Halo2 dans @leanprover.
Nous avons utilisé Halva pour découvrir un bug critique dans un circuit Scroll zk du monde réel. 🧵
1/
5,07K
1/
Au cours des derniers mois, nous avons :
— Évalué l'exécution des opcodes entre les clients
— Construit PerfNet pour tester la performance sous pression
— Simulé un état de mainnet 1,5x avec @CPerezz19 et @gballet pour des tests de mise à l'échelle précoce
Pas pour les gros titres, mais pour maintenir Ethereum résilient.
5,39K
Une nouvelle économie est en train d’émerger, alimentée par l’homme et l’IA. Ce changement transforme également l’audit de sécurité. C’est là qu’AgentArena entre en jeu.
Vous avez un agent auditeur ? Intégrez-vous avec nous !
Pas encore? Nous fournissons les outils pour vous aider à démarrer. - @andrewtookay
TG:
2,33K
Meilleurs
Classement
Favoris