RChain-Collaborative-Learning / PiCalc-to-Rholang
Learning materials including slides, exercises, etc for our discussion of the pi calculus.
☆8Updated 6 years ago
Alternatives and similar repositories for PiCalc-to-Rholang:
Users that are interested in PiCalc-to-Rholang are comparing it to the libraries listed below
- ☆18Updated 7 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- ☆44Updated 7 years ago
- javascript code for one-round single bulletproof☆20Updated 5 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated 10 months ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 7 years ago
- Accountable Watching Service☆28Updated 2 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation☆29Updated 6 years ago
- ☆26Updated 7 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- ☆25Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- ☆25Updated 7 years ago
- RSK testnet faucet website☆16Updated 5 years ago
- Ethereum Smart Contracts for Arwen payment channels☆14Updated 3 years ago
- interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge☆17Updated 2 years ago
- Jeffrey Wilcke's Go implementation of the Ethereum y/w paper☆64Updated this week
- Cryptographic protocols for Solidity.☆13Updated 7 years ago
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 7 years ago
- DSAuth-protected ERC20 token vault☆25Updated 3 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A python implementation of distributed key generation over secp256k1☆13Updated 7 years ago
- Something to play with while we wait☆20Updated 5 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- ECF Project Applications and Updates☆13Updated 6 years ago
- ☆22Updated 4 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago