Populære emner
#
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
Ingeniør- og forskningsløsninger, som gir utviklere og bedrifter mulighet til å bygge videre på det desentraliserte nettet. Ethereum @NethermindEth Starknet @NethermindStark
🧵 Vi er glade for å kunne fortelle at vi jobber med en systematisering av kunnskap (SoK) for forhåndsbekreftelser i Ethereum.
En samarbeidende åpen kildekode-referanse som dekker teori, design, kritikk og implementeringer i den virkelige verden.
Støttet av @taikoxyz og et @EF_ESP stipend.
(1/4)
6,54K
Vår forskningssjef @mpfzajac deler Netherminds visjon for Ethereum: Skalering til milliarder av brukere og AI-agenter ved hjelp av ZK.
· Avlast tung databehandling utenfor kjeden
· Bekreft effektivt på kjeden
Dette låser opp verifiserbare systemer med høy gjennomstrømning for den agentiske æraen.
18. juli, 04:51
"Vi ser fremtiden til Ethereum som å ha en milliard menneskelige brukere." - @mpfzajac av @NethermindEth
«Vi vil også ha milliarder av agenter, for eksempel, distribuert av protokoller som @virtuals_io.»
"Vi ser på Ethereum som dette stedet hvor vi virkelig trenger å telle aktører i milliarder."
"Med ZK kan du ha at du avlaster delen av databehandlingen utenfor kjeden og bare verifiserer på kjeden."
3,91K
Nethermind lagt ut på nytt
@NethermindSec Formal Verification-teamet, med støtte fra @ethereumfndn gjennom 2024 ZK Grants Round, har utviklet Halva: en infrastruktur for formell verifisering av Halo2 zk-kretser i @leanprover.
Vi brukte Halva til å avdekke en kritisk feil i en virkelig Scroll zk-krets. 🧵
1/
5,07K
Topp
Rangering
Favoritter