pornin / paradox-compressLinks
Paper and Demo Implementation of Paradoxical Compression with VDF
☆175Updated 3 years ago
Alternatives and similar repositories for paradox-compress
Users that are interested in paradox-compress are comparing it to the libraries listed below
Sorting:
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- A Python implementation of Garbled Circuits MPC protocol☆62Updated last year
- Putting a blockchain on Google Sheets 🤡☆120Updated 4 years ago
- Rust library for cryptographic research☆145Updated 11 months ago
- Flexible and Constant Time Programming Language☆202Updated 3 years ago
- Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.☆218Updated 2 weeks ago
- Is SIKE broken yet?☆20Updated 2 years ago
- Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.☆561Updated 2 weeks ago
- An animated visualization of elliptic curve cryptography☆151Updated 4 months ago
- Tell your crush you like them with zero-knowledge☆233Updated 3 years ago
- A crawling framework for blockchains and peer-to-peer systems☆46Updated 2 years ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 3 months ago
- The world's most expensive version of Conway's Game of Life - running on the Ethereum Blockchain☆82Updated 4 years ago
- Curve ecGFp5☆68Updated 3 years ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆170Updated 3 months ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- Mobile ZK Puzzle Game with NFT rewards☆191Updated 4 years ago
- Implementation of a drand client in Rust☆30Updated last year
- An implementation of ZKBoo☆33Updated 3 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- Wordle, but with ZK proofs!☆224Updated 2 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆83Updated 4 years ago
- Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann☆53Updated 4 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 3 months ago
- Anonymous Airdrops using ZK-SNARKs☆362Updated last year
- Official repo of the EVM LLVM project☆105Updated 3 years ago
- Optimized Binary GCD for Modular Inversion☆45Updated 5 years ago