dokładnie rok temu dołączyłem do @Ingo_zk. w tym czasie pracowałem nad wieloma projektami. ale dwa są szczególne: icicle-snark i icicle-halo2. gdy po raz pierwszy dowiedziałem się o zk, próbowałem zrozumieć, czym jest r1cs, jak działa groth16, jak pisać obwody circom. dziś jestem autorem najszybszego provera groth16 i najszybszego (chyba) provera halo2. icicle-snark to nowa implementacja groth16 wykorzystująca ICICLE i napisana w Rust. jest 160 razy szybsza niż snarkjs i 30 razy szybsza niż rapidsnark na 5090. icicle-halo2 to fork @ezklxyz-halo2 z integracją ICICLE, który daje do 25 razy większy przyspieszenie dowodzenia przy użyciu rdzeni oceny bramek. generally, to był zabawny rok nauki, budowania i dostarczania.