rchain-community / rchain.cloud
Online Rholang interpreter.
☆20Updated 3 years ago
Related projects: ⓘ
- Validator set contracts for Kovan network.☆32Updated 4 years ago
- Pure-solidity implementation of the SHA1 hash function.☆39Updated last year
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- A state channels ICO auction contract.☆23Updated 6 years ago
- CLI tool for participating in Cosmos Fundraiser☆12Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated last year
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆51Updated 5 years ago
- State Machine☆18Updated 6 years ago
- Something to play with while we wait☆20Updated 5 years ago
- ☆21Updated 4 years ago
- PoC of SNARK-driven Plasma with up to 500 tx/sec☆69Updated 5 years ago
- ☆19Updated 2 years ago
- ☆10Updated 7 years ago
- ☆25Updated this week
- RChain DApp Game -- Be the nth caller to win☆19Updated 5 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- ☆21Updated 4 years ago
- Schematic of the Ethereum 2.0 Beacon Chain specification☆51Updated 5 years ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- AZTEC protocol specification☆31Updated 4 years ago
- ☆18Updated this week
- A more technical description of Polkadot protocol☆47Updated 4 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆28Updated 5 years ago
- Continuous Splitting Token Auction☆21Updated 2 years ago
- Ledger Nano S support for Tendermint/Cosmos☆42Updated 4 years ago
- ☆23Updated this week