Automatic Verification of Decentrailized Protocols

5. The system of claim 1, further comprising updating the set of rules, re-assessing at a second time the risk score, and if the risk score is below the threshold re-establishing access for the users of the first platform corresponding to the first entity to the first smart contract.

6. The system of claim 1, wherein the detecting a set of vulnerabilities associated with the first smart contract based on the set of rules includes detecting one or more decentralized finance (DeFi) related vulnerabilities associated with the first smart contract.

7. The system of claim 1, wherein the second entity is a decentralized finance (DeFi) entity.

8. The system of claim 1, wherein one or more assessments of the first smart contract are performed at a first frequency by the policy smart contract.

9. The system of claim 8, the operations further comprising updating the first frequency to a second frequency based on analyzing one or more factors corresponding to the first smart contract or one or more factors corresponding to one or more other smart contracts.

10. The system of claim 1, the operations further comprising writing results of the analysis of the first smart contract to the blockchain.

11. The system of claim 8, wherein the first entity is a decentralized entity.

17. The computer-implemented method of claim 15, further comprising updating the set of rules, re-assessing at a new time the risk score, and if the risk score is below the threshold re-establishing access for the users of the first platform corresponding to the first entity to the first smart contract.

18. The computer-implemented method of claim 13, wherein the detecting a set of vulnerabilities associated with the first smart contract based on the set of rules includes detecting one or more decentralized finance (DeFi) related vulnerabilities associated with the first smart contract.