il y a exactement un an, j'ai rejoint @Ingo_zk. pendant ce temps, j'ai travaillé sur de nombreux projets. mais deux sont spéciaux : icicle-snark et icicle-halo2. quand j'ai d'abord appris ce qu'est le zk, j'essayais de comprendre ce qu'est le r1cs, comment fonctionne groth16, comment écrire des circuits circom. aujourd'hui, je suis l'auteur du prouveur groth16 le plus rapide et du prouveur halo2 le plus rapide (je suppose). icicle-snark est une nouvelle implémentation de groth16 utilisant ICICLE et écrite en Rust. c'est 160x plus rapide que snarkjs et 30x plus rapide que rapidsnark sur 5090. icicle-halo2 est un fork de @ezklxyz-halo2 avec intégration ICICLE qui offre jusqu'à 25x d'accélération de preuve en utilisant des noyaux d'évaluation de portes. dans l'ensemble, ça a été une année amusante d'apprentissage, de construction et de livraison.