Proof System

All circuits are written in Noir and are using the official Barretenberg backend.

We are evaluating novel complementary and alternative proof systems and proving pipelines in order to push performance for our primary use cases.

Aiming for universal client-side proving on standard consumer hardware, we consider today's state-of-the-art as okay but nowhere near the endgame. If you would like to collaborate on this front please reach out in our Telegram group.