formal-verification
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| ERC: Formal Governance Proof Registry for Autonomous Agents |
|
0 | 52 | April 6, 2026 |
| Proposal: Optimized Verified EVM Interpreters for ZK |
|
0 | 85 | March 27, 2026 |