·5 min read·
securitytestingaudit
How We Validated 558 Tests Across 32 Suites — Our Security Journey
From formal verification with Halmos to getting pen-tested by an AI — here's how we approached security for Sigil Protocol's smart contracts.
Read more →