ERC20 in K
☆49Apr 25, 2019Updated 6 years ago
Alternatives and similar repositories for erc20-semantics
Users that are interested in erc20-semantics are comparing it to the libraries listed below
Sorting:
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- ☆14Jan 21, 2019Updated 7 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆579Mar 13, 2026Updated last week
- Smart contracts which are formally verified☆743Aug 28, 2022Updated 3 years ago
- Contracts written in LLL for Ethereum.☆26Feb 5, 2019Updated 7 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Implementation of a max heap in solidity for Plasma MVP implementation☆11Nov 15, 2018Updated 7 years ago
- All *.sol files from github in a single repo☆17Apr 11, 2018Updated 7 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Jun 14, 2019Updated 6 years ago
- Spankchain PoC implementation of generalized state channels☆156May 26, 2018Updated 7 years ago
- K framework proof explorer & smart contract specification format☆124Aug 11, 2021Updated 4 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Mar 24, 2022Updated 3 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- ☆43Apr 2, 2018Updated 7 years ago
- ☆20Jun 9, 2023Updated 2 years ago
- A 'Good first' Ethereum and Web3 issues explorer to make your first open-source contribution☆12Apr 11, 2023Updated 2 years ago
- Front-end for Christain Lundkvist's Simple MultiSig Wallet☆11Apr 3, 2018Updated 7 years ago
- golang implementation of the CoralDHT protocol☆16Sep 10, 2018Updated 7 years ago
- Contracts used in context of the WallETH project☆12Jun 19, 2018Updated 7 years ago
- ☆12Oct 27, 2017Updated 8 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 6 years ago
- ☆21Dec 7, 2020Updated 5 years ago
- ☆12Dec 26, 2018Updated 7 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Oct 26, 2018Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- An LLL-based smart contract function dispatcher and example contract.☆47Jan 24, 2017Updated 9 years ago
- A DNSSEC oracle for Ethereum☆61Dec 30, 2022Updated 3 years ago
- Compile solidity-code faster, easier and more reliable☆48Nov 30, 2018Updated 7 years ago
- The first native Peepeth Client (Unofficial)☆23Oct 23, 2018Updated 7 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆52Dec 3, 2022Updated 3 years ago
- ☆20Jun 25, 2019Updated 6 years ago
- ☆22Jun 29, 2020Updated 5 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago
- Identicon implementation in Rust☆11Aug 7, 2023Updated 2 years ago
- An unofficial Hardhat plugin for working with circuits written in Noir☆12May 22, 2023Updated 2 years ago