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.

It signs with ML-DSA-65, builds Q1 addresses, and runs the same compiled core in the browser and in Node. This npm account and this package belong to Quantova Inc.

👥 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.

Here we collect and discuss the best DeFi, Blockchain and crypto-related OpSec researches and data terminals - contributions are welcome. Feel free to submit a pull request, with anything from small fixes to translations, docs or tools you'd like to add.