VeriSolid / smart-contracts
☆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:
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- An implementation of Ethereum ERC20 tokens in LLL☆67Updated 7 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago
- A library for encoding CBOR in Solidity.☆65Updated last year
- ERC721 in Vyper☆44Updated 6 years ago
- Devcon4 Vyper Workshop☆25Updated 3 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- All In One stateful Plasma-Cash client, browser compatible☆43Updated 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
- Orion is a PegaSys component for doing private transactions☆91Updated 3 years ago
- A library for oracles on Ethereum☆51Updated 2 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆26Updated 5 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated 10 months ago
- Smart contracts for trustless bridges☆75Updated 5 years ago
- ☆42Updated 8 years ago
- M O N O R E P O☆69Updated 2 years ago
- POA <-> Ethereum bridge for self transfers of POA native token to POA20 (ERC20 representation). Not supported. Use TokenBridge instead☆83Updated 3 years ago
- Landscape of blockchain-based end-user applications and platforms☆50Updated 6 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross…☆109Updated 3 years ago
- Proof of concept for the contracts implementing TPL☆74Updated 3 years ago
- This challenge is built on Nightfall Protocol☆37Updated 5 years ago
- Research documents related to our implementation☆43Updated 6 years ago
- Proposals and specs for a decentralized type system.☆26Updated 2 years ago
- Dappsys for all☆21Updated 4 years ago
- Contracts for Swap, Swear and Swindle. Swap is a protocol for p2p accounting. This is the basis for Swarm’s incentivization model.☆51Updated last week