A basic implementation of Yao's Garbled Circuits
☆30Apr 18, 2022Updated 3 years ago
Alternatives and similar repositories for yao-gc
Users that are interested in yao-gc are comparing it to the libraries listed below
Sorting:
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- Fast RLP serialization library☆14Updated this week
- ☆21Sep 27, 2023Updated 2 years ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated 10 months ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- The most degen solidity lib out there.☆28Jul 13, 2023Updated 2 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- Pending transaction stream in rust☆27May 31, 2021Updated 4 years ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- Go implementation of bcrypt_pbkdf(3) from OpenBSD☆15Feb 5, 2015Updated 11 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- ☆15May 6, 2022Updated 3 years ago
- Pointcheval Sanders signature☆27Jan 16, 2020Updated 6 years ago
- An optimised Connect4 game implementation on Solidity☆53Apr 14, 2022Updated 3 years ago
- Materials and slides for talks I've given in the past☆15Feb 20, 2026Updated 2 weeks ago
- Banquet implementation☆14May 6, 2022Updated 3 years ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Feb 23, 2026Updated 2 weeks ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 3 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- cross-chain ETL tool for EVM chaindata☆32Jul 10, 2022Updated 3 years ago
- ☆40Feb 2, 2022Updated 4 years ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Jul 29, 2024Updated last year
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆36Jan 12, 2022Updated 4 years ago