Formal verification of Aztec’s cryptography is underway. We've completed formal verification of major components of ou

Formal verification of Aztec’s cryptography is underway. We've completed formal verification of major components of ou | Hanami

Formal verification of Aztec’s cryptography is underway. We've completed formal verification of major components of our proving system & our workflow for formally verifying the Aztec stack is quickly accelerating. Stay tuned for more updates with the upcoming Alpha V6 release