Formal verification of SP1 is underway. We’re excited to share early results of our collaboration with @VeridiseInc, a leader in $ZK security auditing. https://t.co/dHp4TcmSsR