exatamente um ano atrás, entrei para @Ingo_zk. Nesse período, trabalhei em muitos projetos. Mas dois são especiais: Icicle-Snark e Icicle-Halo2. Quando aprendi sobre o ZK, estava tentando entender o que é R1cs, como o Groth16 funciona, como escrever circuitos circom. Hoje sou autor do mais rápido Groth16 Prover e do mais rápido (eu acho) Halo2 Prover. icicle-snark é uma nova implementação do groth16 usando ICICLE e escrita em Rust. É 160x mais rápido que o SNARKJS e 30x mais rápido que o Rapidsnark no 5090. icicle-halo2 é um fork do @ezklxyz-halo2 com integração ICICLE que oferece um aumento de prova de até 25x usando kernels de avaliação de porta. No geral, foi um ano divertido de aprendizado, construção e envio.