eBTC Protocol Recon Fuzzing Engagement Retrospective
In this video Lourens goes through the work we did for the eBTC Protocol
Since eBTC launched, we critically reviewed for accounting errors by extending the set of tests related to the Protocol Yield Share
By using inductive properties, we were able to prove the soundness of the system by recursively verifying the soundness of the fee split at each time
We also reviewed the Fork Tester code and expanded it to more accurately work just like the local tester
Try Recon:
https://getrecon.xyz/