We prove things and show our work. ZK circuits for real physics. Formal verification for real systems.

Contributors

J

jacobi

Creator of Jacobian