CryptoUpdated November 3

The upgrade adds formal verification and AI-powered security testing.

The release also adds formal verification and an AI-powered security-testing harness. That puts both features alongside the fixes and speed improvements in Tierra V6.

1 publisher1 report

Coverage started November 3