Julian SutherlandinNethermind.ethIntroduction to Horus — Part 2Formal verification of an automated market maker (AMM)Apr 7, 2023Apr 7, 2023
Julian SutherlandinNethermind.ethIntroduction to Horus — Part 1Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contractsFeb 23, 2023Feb 23, 2023
Julian SutherlandinNethermind.ethSecuring Warp: A formal specification of the Yul IRby Julian Sutherland (JulekSU)Jan 6, 2022Jan 6, 2022
