VeriSolid / smart-contractsLinks
☆10Updated 7 years ago
Alternatives and similar repositories for smart-contracts
Users that are interested in smart-contracts are comparing it to the libraries listed below
Sorting:
- All In One stateful Plasma-Cash client, browser compatible☆43Updated 2 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- Liquid Pledging☆65Updated 2 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- ☆42Updated 8 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- An implementation of Ethereum ERC20 tokens in LLL☆67Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Smart contracts for trustless bridges☆75Updated 5 years ago
- ☆111Updated 5 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆184Updated 2 years ago
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆38Updated 3 years ago
- Raiden Network Smart Contracts☆54Updated 2 years ago
- Documentation of the Umbral PRE cryptosystem☆29Updated 7 years ago
- A library for encoding CBOR in Solidity.☆65Updated last year
- This challenge is built on Nightfall Protocol☆37Updated 6 years ago
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago
- Proposals and specs for a decentralized type system.☆26Updated 2 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 6 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆90Updated 5 years ago
- ☆131Updated 3 years ago
- Solidity library for a Circular Linked List index☆51Updated 3 years ago
- 0x Improvement Proposals☆91Updated 2 years ago
- Merkle Tree based Payment Pool☆44Updated 2 years ago
- Taking trustless interactions beyond the chain☆81Updated 8 years ago
- Solidity implementation of a delegate proxy☆91Updated 3 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 6 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 6 years ago
- An Introduction to CBC Casper Consensus Protocols☆137Updated 6 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 5 years ago