Aztec (@aztecnetwork): Formal verification of Aztec’s cryptography is underway.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- AZTEC+25Positive
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