for nøyaktig ett år siden begynte jeg @Ingo_zk. I løpet av den tiden har jeg jobbet med mange prosjekter. Men to er spesielle: istapp-snark og istapp-halo2. Da jeg først lærte om ZK, prøvde jeg å forstå hva som er R1cs, hvordan Groth16 fungerer, hvordan man skriver circom-kretser. I dag er jeg forfatter av den raskeste Groth16 Prover og raskeste (antar jeg) Halo2 Prover. icicle-snark er en ny groth16-implementering som bruker ICICLE og er skrevet i Rust. Det er 160 ganger raskere enn Snarkjs og 30 ganger raskere enn RapidSnark på 5090. icicle-halo2 er en forgrening av @ezklxyz-halo2 med ICICLE-integrasjon som gir opptil 25x bevisforsterkning ved bruk av gateevalueringskjerner. Totalt sett har det vært et morsomt år med læring, bygging og frakt.
3,04K