Рівно рік тому я приєднався до @Ingo_zk. За цей час я працював над багатьма проектами. Але два з них особливі: бурулька-снарк і бурулька-ореол2. Коли я вперше дізнався про ZK, я намагався зрозуміти, що таке R1CS, як працює groth16, як записувати кругові схеми. Сьогодні я є автором найшвидшого Groth16 PROVER і найшвидшого (я думаю) Halo2 Prover. icicle-snark - це нова реалізація groth16 з використанням ICICLE і написана на Rust. Він у 160 разів швидший, ніж Snarkjs, і в 30 разів швидший, ніж Rapidsnark на 5090. icicle-halo2 — це форк @ezklxyz-halo2 з інтеграцією ICICLE, який дає до 25-кратного приросту доказів за допомогою ядер оцінки воріт. Загалом, це був цікавий рік навчання, створення та доставки.