Or model checking fault-tolerant algorithms that have more states than the atoms in the universe| Protocols Made Fun
A book on all things Foundry| book.getfoundry.sh
Standard way to verify a signature when the account is a smart contract| Ethereum Improvement Proposals