precies een jaar geleden sloot ik me aan bij @Ingo_zk. In die tijd heb ik aan veel projecten gewerkt. Maar twee zijn speciaal: icicle-snark en icicle-halo2. Toen ik voor het eerst over zk leerde, probeerde ik te begrijpen wat r1cs is, hoe groth16 werkt, en hoe ik circom-circuits moest schrijven. Vandaag ben ik de auteur van de snelste groth16 prover en de snelste (denk ik) halo2 prover. icicle-snark is een nieuwe groth16-implementatie die ICICLE gebruikt en geschreven is in Rust. Het is 160x sneller dan snarkjs en 30x sneller dan rapidsnark op 5090. icicle-halo2 is een fork van @ezklxyz-halo2 met ICICLE-integratie die tot 25x bewijsverhoging biedt met behulp van gate-evaluatie-kernels. Al met al is het een leuk jaar geweest van leren, bouwen en verzenden.
3,11K