esattamente un anno fa mi sono unito a @Ingo_zk. in quel periodo, ho lavorato a molti progetti. ma due sono speciali: icicle-snark e icicle-halo2. quando ho iniziato a conoscere zk stavo cercando di capire cos'è r1cs, come funziona groth16, come scrivere circuiti circom. oggi sono l'autore del provatore groth16 più veloce e del provatore halo2 più veloce (credo). icicle-snark è una nuova implementazione di groth16 che utilizza ICICLE ed è scritta in Rust. è 160 volte più veloce di snarkjs e 30 volte più veloce di rapidsnark su 5090. icicle-halo2 è un fork di @ezklxyz-halo2 con integrazione ICICLE che offre fino a 25 volte di aumento della prova utilizzando kernel di valutazione dei gate. nel complesso, è stato un anno divertente di apprendimento, costruzione e spedizione.