Aztec(@aztecnetwork):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

Aztec

@aztecnetwork

Aztec is the leading privacy-first Layer 2 on Ethereum. Alpha Network is live · Start building here:

参加 November 2018

308 フォロー中 203.7K ファン

Aztec@aztecnetwork

2026.10.01 14:16

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