renproject / rzl-mpc-specificationLinks
Specification of the RenVM MPC algorithm
☆19Updated 5 years ago
Alternatives and similar repositories for rzl-mpc-specification
Users that are interested in rzl-mpc-specification are comparing it to the libraries listed below
Sorting:
- AZTEC protocol specification☆30Updated 5 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- Website!☆22Updated 2 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- ☆15Updated 4 years ago
- Bitcoin Light Client on Ethereum☆42Updated last year
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆17Updated 4 years ago
- Cross-chain relays :)☆55Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆51Updated 2 years ago
- Off-chain poker in Ethereum☆22Updated 8 years ago
- Command line tool to send EIP-1559 transactions to Ethereum clients.☆19Updated 3 years ago
- PoC of SNARK-driven Plasma with up to 500 tx/sec☆69Updated 6 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- The monorepo for Meson project☆11Updated last year
- Set of functions for golang verification of zkSNARKs☆31Updated 7 years ago
- Proofs of properties of CBC Casper☆35Updated 5 years ago
- ☆15Updated 4 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- Tendermint with an embedded BLS random beacon☆18Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- BTCRelay re-implementation in Solidity☆27Updated 5 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Updated 2 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Confidential Transactions with Reusable Commitments on Ethereum☆17Updated 5 years ago