tls-n / tlsnutils
Solidity Library for parsing and verifying TLS-N proofs.
☆18Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for tlsnutils
- Secure Bitcoin price feed based on TLS-N proofs.☆15Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- Off-chain poker in Ethereum☆22Updated 7 years ago
- Low-level language for encoding AIR of computations☆34Updated last year
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Silkwork is an experimental playground for Ethereum 1x research. If things go well, it might morph into a grown C++17 Ethereum client wit…☆11Updated 5 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆23Updated 4 years ago
- ☆44Updated 6 years ago
- Rust crate for BLS Aggregate Signatures☆9Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- An independent reimplementation of (vn)TinyRAM☆37Updated 7 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- The Bond API.☆27Updated 6 years ago
- A simple hash based on tables and simple math☆12Updated last year
- Describe elliptic curves☆35Updated 3 years ago
- A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…☆31Updated 6 years ago
- A protocol for the decentralized monetization of *all* information (memes) and its network effects.☆37Updated 7 years ago
- ethereum universal dapp☆27Updated 7 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆50Updated last year
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 5 years ago
- ☆26Updated 6 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- 0x Protocol v2 Audit☆24Updated 5 years ago
- Bring Ethereum to IPFS☆26Updated 9 months ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago