tls-n / tlsnutilsLinks
Solidity Library for parsing and verifying TLS-N proofs.
☆17Updated 8 years ago
Alternatives and similar repositories for tlsnutils
Users that are interested in tlsnutils are comparing it to the libraries listed below
Sorting:
- Formal specification and reference implementation of Casper☆15Updated 10 years ago
- ☆42Updated 9 years ago
- Secure Bitcoin price feed based on TLS-N proofs.☆14Updated 5 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 9 years ago
- a C++ template library for zero knowledge proofs☆49Updated 10 years ago
- A Python implementation of the Crypto-Conditions spec☆72Updated 2 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Updated 8 years ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- ☆11Updated 9 years ago
- ☆20Updated 7 years ago
- RWOT4 in Paris, France (April 2017)☆67Updated 3 years ago
- An independent reimplementation of (vn)TinyRAM☆38Updated 9 years ago
- VDF competition instructions, and simple implementation☆86Updated 2 years ago
- Off-chain poker in Ethereum☆23Updated 8 years ago
- Efficient multi-asset confidential transactions☆34Updated 6 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆41Updated 8 months ago
- Multi-party computation utilities toolkit for rust☆16Updated 6 years ago
- ☆60Updated 8 years ago
- The original p2p version (non-transferable proofs)☆143Updated 4 years ago
- Our Java implementation of Catena, a Bitcoin-based consensus log (also known as a witnessing scheme, or non-equivocation scheme, or "micr…☆33Updated 7 years ago
- ☆118Updated 4 years ago
- notes, ideas and whatnot☆43Updated 4 years ago
- ☆43Updated 7 years ago
- Provides an efficient way to build and manipulate IPLD DAGs as JSON☆40Updated last year
- A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…☆32Updated 7 years ago
- 📄 Counterfactual: Generalized State Channels Paper☆57Updated 7 years ago
- ☆32Updated 8 years ago
- A library for generating zk-STARKs.☆146Updated 3 years ago