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:
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated last year
- ☆44Updated 7 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- ☆22Updated 5 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)☆73Updated 4 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- LaTeX of the MimbleWimble paper☆30Updated 3 years ago
- Documentation and research notes related to the Prima Kernel☆20Updated 7 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- Off-chain poker in Ethereum☆22Updated 8 years ago
- ☆24Updated 4 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- An implementation of publicly verifiable proofs of retrievability☆32Updated 7 years ago
- Tendermint based chat☆24Updated 7 years ago
- Privacy-preserving messaging protocol for the web3☆45Updated 5 years ago
- Plugin of the Go IPFS Client for Ethereum Blockchain IPLD objects☆45Updated 3 years ago
- JavaScript Implementation of All Ethereum IPLD formats☆40Updated 4 years ago
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆20Updated 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
- Tools and instructions for Raiden workshops☆23Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated last year
- Random Beacon Simulator☆122Updated 7 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆61Updated 7 years ago
- ☆21Updated 2 years ago
- Web example https://tgrospic.github.io/rnode-client-js☆19Updated 2 years ago