Adventures in Automated Smart Contract Testing: A Spark Is Borngustavo-grieco.github.io2 points·by galapago·8 dni temu·0 comments
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidnagithub.com1 points·by galapago·7 miesięcy temu·1 comments
Echidna 2.3 released with symbolic execution, Foundry integration and moregithub.com2 points·by galapago·7 miesięcy temu·0 comments
Who Has Security? A list of blockchain companies with in-house securitywhohassecurity.com1 points·by galapago·7 miesięcy temu·0 comments