I think this is largely because there’s lack of competition, in either the risk management area or security area.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Continuous Formal Verification | 1 | 2644 | November 4, 2021 | |
| Certora Formal Verification Proposal | 13 | 3550 | May 17, 2022 | |
| Auditing Compound Protocol | 49 | 15345 | April 1, 2022 | |
| Security and Agility of Compound Smart Contracts via Continuous Formal Verification | 19 | 2718 | March 26, 2023 | |
| OpenZeppelin Security Partnership - 2022 Year in Review | 0 | 2396 | November 18, 2022 |