We prove things and show our work. ZK circuits for real physics. Formal verification for real systems.
Contributors
J
jacobi
Creator of Jacobian
More from Programming
Programming
The Scalable Agent
Frameworks, systems, and coaching-driven insights for real estate agents building businesses they own. By Steve Banasiak — Broker, LYNQ Real Estate | Treasure Coast, FL
1 subscribers
Programming
Harris Raftopoulos
Programming and Beyond: A Senior Software Engineer’s Journey with Laravel, Livewire and JavaScript
Programming
Andrew Edstrom
Essays on software engineering and life
Programming
Of Sound Mind and Love
Thoughts and experiences on software and perspective.