Content
@
https://ethereum.org
0 reply
0 recast
0 reaction
Alex the Entreprenerd
@entreprenerd
One weird trick to cut your audit cost by half - Write as much of your code as Stateless functions - Run Fuzzers and Formal tools on them Auditor can quickly verify their behaviour and “take them for granted”, or quickly find mistakes in your logic State is a hidden input
0 reply
0 recast
2 reactions
