RChain-Collaborative-Learning / PiCalc-to-RholangLinks
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
Sorting:
- ☆44Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- ☆22Updated 5 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 7 years ago
- Plugin of the Go IPFS Client for Ethereum Blockchain IPLD objects☆45Updated 3 years ago
- Something to play with while we wait☆20Updated 6 years ago
- Accountable Watching Service☆28Updated 2 years ago
- ZkVM — a blockchain virtual machine with cloaked assets and ZK smart contracts☆43Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.☆22Updated 7 years ago
- A protocol for the decentralized monetization of *all* information (memes) and its network effects.☆37Updated 8 years ago
- LaTeX of the MimbleWimble paper☆30Updated 3 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Specification for an Insurable Crypto Wallet☆27Updated 7 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation☆29Updated 6 years ago
- Repo for Plasma improvement proposals☆11Updated 6 years ago
- A zkSNARK tutorial and development environment☆16Updated 7 years ago
- ☆25Updated 6 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- Implementation of the Perun protocol☆49Updated 5 years ago
- The project page of ZeroWallet☆19Updated 6 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- RWOT2 for the ID2020 UN Summit (May 2016)☆91Updated 3 years ago
- ☆24Updated 4 years ago
- An Interface and Reference Implementation of the ERC-884 DGCL Token.☆42Updated 6 years ago
- Python 3 interface to RChain RNode RPC☆10Updated 3 years ago