We prove things and show our work. ZK circuits for real physics. Formal verification for real systems.
Contributors
J
jacobi
Creator of Jacobian
We prove things and show our work. ZK circuits for real physics. Formal verification for real systems.
Creator of Jacobian