Taho is a community owned and operated Web3 wallet, built as a browser extension. Today's Web3 landscape is dominated by a single wallet and a single infrastructure provider, both owned by a single conglomerate.

Golang execution layer implementation of the Ethereum protocol. Automated builds are available for stable releases and the unstable master branch.

Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions.

👥 Contributing   |   🤝 Code of conduct   |   🔎 Issues   |   🗣️ Chat & Support   |   💻 API Reference The core of the Semaphore protocol is in the circuit logic. However, Semaphore also provides Solidity contracts and JavaScript libraries to make the steps for offchain proof creation and onchain/offchain verification easier.

This is not a comprehensive list and solidity is quickly evolving so please do due dilegence on your part. Not all listed items will apply to your specific smart contract.

This reference consolidates EVM opcode information from the yellow paper, stack exchange, solidity source, parity source, evm-opcode-gas-costs and Manticore. New issues and contributions are welcome, and are covered by bounties from Trail of Bits.

Join Discord Notion: 101 root cause analysis of past DeFi hacked incidents Transaction debugging tools Disclaimer: This content serves solely as a proof of concept showcasing past DeFi hacking incidents. It is strictly intended for educational purposes and should not be interpreted as encouraging or endorsing any form of illegal activities or actual hacking attempts.