1/ Last week @CertoraInc initiated its audit of Tokemak's Strategy smart-contracts.
19 Jan 2024, 22:59
1/ Last week @CertoraInc initiated its audit of Tokemak’s Strategy smart-contracts. The audit includes both a manual audit and formal verification.
Same news in other sources
2
19 Jan 2024, 22:59
8/ Formal verification is an important tool for Tokemak’s security review process. Stay tuned for more updates on Autopilot!
8/ Formal verification is an important tool for Tokemak's security review process. Stay tuned for more updates on Autopilot.
8/ Formal verification is an important tool for Tokemak’s security review process. Stay tuned for more updates on Autopilot!
19 Jan 2024, 22:59
7/ Using Certora’s Prover, smart contract bytecode is compared against rules that detail how the code is supposed to behave. Through this formal verification process, every possible contract state and path will be checked to identify potential vulnerabilities.
7/ Using Certora's Prover, smart contract bytecode is compared against rules that detail how the code is supposed to behave.
7/ Using Certora’s Prover, smart contract bytecode is compared against rules that detail how the code is supposed to behave. Through this formal verification process, every possible contract state and path will be checked to identify potential vulnerabilities.