Contract Level (@contractlevel) 's Twitter Profile
Contract Level

@contractlevel

Implement it at the Contract Level

ID: 1871271607257219072

linkhttp://contractlevel.com calendar_today23-12-2024 19:08:17

157 Tweet

129 Takipçi

308 Takip Edilen

Contract Level (@contractlevel) 's Twitter Profile Photo
Contract Level
@contractlevel

13 days ago

The trick with Certora is finding the balance between constraining state and allowing the prover to havoc everything. There's a sweet spot between constraining too much which misses realistic paths, and constraining too little which ends up havocing the impossible.