Dmytro Zakharov, Lasha Antadze, Oleksandr Kurbatov

Introducing Bionetta, an R1CS-based proving framework designed with a focus on client-side proving and on-chain verification of neural network architectures. Our goal was to create a framework with (a) proof and verification key sizes as small as possible, suitable for on-chain deployment, and (b) superior proving time that does not consume too much RAM. Currently, Groth16 is one of the best choices, providing constant-sized proof and verification time, relatively small verification key sizes, well-developed infrastructure, and, as we discovered, R1CS arithmetization that is much more suitable for client-side proving than PlonK-based approaches such as Halo2.

Questions around identity ownership often collapse into thought puzzles:

Rarimo’s ZK Roll-up is live 🎉

The world needs anti-sybils, but if these solutions are not fully decentralized or private, they can easily create more harm than good.

2024 Highlights

Rarimo’s Founder-only Vision Round

Kitty, Lasha Antadze, Oleksandr Kurbatov

With love for ZK use cases