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:
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 6 years ago
- An animated visualization of elliptic curve cryptography☆153Updated 5 months ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- Rust library for cryptographic research☆150Updated last year
- Simple bitcoin-like blockchain implementation written in rust☆39Updated 3 years ago
- Putting a blockchain on Google Sheets 🤡☆120Updated 4 years ago
- Tell your crush you like them with zero-knowledge☆233Updated 3 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆85Updated 2 weeks ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.☆595Updated 3 weeks ago
- A Python implementation of Garbled Circuits MPC protocol☆62Updated last year
- Implementation of a drand client in Rust☆30Updated last year
- Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.☆222Updated last week
- Convergence verification of the Collatz problem☆73Updated last month
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- The world's most expensive version of Conway's Game of Life - running on the Ethereum Blockchain☆82Updated 4 years ago
- Curve ecGFp5☆69Updated 3 years ago
- SDK for private data access, built on homomorphic encryption.☆353Updated last year
- Interactive documentation on zero-knowledge proof systems and related primitives.☆172Updated 5 months ago
- Bounds on divsteps iterations in safegcd☆57Updated last year
- A dead man's switch for full but responsible disclosure of vulnerabilities☆58Updated last year
- ☆214Updated 4 years ago
- Bridge between L1 (Ethereum) and L2 (cheapETH)☆118Updated 4 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆76Updated 5 months ago
- A crawling framework for blockchains and peer-to-peer systems☆46Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆37Updated 9 months ago
- Is SIKE broken yet?☆20Updated 2 years ago
- the BLAKE3 hash function implemented in 6502 assembly☆58Updated 3 years ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆187Updated 5 months ago