För exakt ett år sedan gick jag med i @Ingo_zk. Under den tiden har jag arbetat med många projekt. Men två är speciella: Icicle-Snark och Icicle-Halo2. När jag först hörde talas om ZK försökte jag förstå vad R1CS är, hur Groth16 fungerar, hur man skriver Circom-kretsar. Idag är jag författare till den snabbaste Groth16 Prover och snabbaste (antar jag) Halo2 Prover. icicle-snark är en ny groth16-implementation som använder ICICLE och är skriven i Rust. Det är 160 gånger snabbare än Snarkjs och 30 gånger snabbare än RapidSnark på 5090. icicle-halo2 är en förgrening av @ezklxyz-halo2 med ICICLE-integration som ger upp till 25x bevisboost med hjälp av gate-utvärderingskärnor. Sammantaget har det varit ett roligt år med lärande, byggande och frakt.