přesně před rokem jsem se připojil k @Ingo_zk. Za tu dobu jsem pracoval na mnoha projektech. Ale dva jsou speciální: rampouch-snark a rampouch-halo2. Když jsem se poprvé dozvěděl o ZK, snažil jsem se pochopit, co je R1cs, jak funguje Groth16, jak psát circomové obvody. Dnes jsem autorem nejrychlejšího Groth16 Proveru a nejrychlejšího (myslím) Halo2 Prover. icicle-snark je nová implementace groth16 používající ICICLE a napsaná v Rustu. Je 160x rychlejší než SnarkJS a 30x rychlejší než RapidSnark na 5090. ICICCLE-HALO2 je fork @ezklxyz-Halo2 s integrací ICICLE, která poskytuje až 25x důkazní podporu pomocí vyhodnocovacích jader hradla. Celkově to byl zábavný rok učení, stavění a odesílání.
3,04K