☆14Jun 18, 2025Updated 9 months ago
Alternatives and similar repositories for LatticeTutorial
Users that are interested in LatticeTutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- My library of IR commands in Girr format☆16Oct 12, 2025Updated 5 months ago
- Fiat-Shamir for the masses.☆91Mar 13, 2026Updated last week
- ☆24Updated this week
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 5 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 11 months ago
- aries-acapy-plugins☆10Updated this week
- ☆55Jun 10, 2025Updated 9 months ago
- TLS client program☆11Jun 10, 2020Updated 5 years ago
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 3 years ago
- MPC Uniqueness Check☆72May 8, 2025Updated 10 months ago
- Verify Cairo contracts in Lean 4☆20May 22, 2025Updated 10 months ago
- Go Library (and program) to perform pairwise gcd on batches of RSA moduli☆11Apr 14, 2015Updated 10 years ago
- ☆18Updated this week
- ☆68May 13, 2025Updated 10 months ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- A 2-in-1 toolset of https://github.com/x0rz/EQGRP_Lost_in_Translation and https://github.com/x0rz/EQGRP☆27Aug 2, 2019Updated 6 years ago
- A tool for side-channel attacks (SCAs) using deep learning (DL)☆17Apr 1, 2025Updated 11 months ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- Noir support for Zed☆11May 3, 2024Updated last year
- ☆35Sep 11, 2023Updated 2 years ago
- Finds the Nash Equilibrium of a given grid☆21Mar 23, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- spqlios arithmetic library for FHE and post-quantum crypto☆26Nov 12, 2025Updated 4 months ago
- Simplified educational python plonk implementation☆47Jul 6, 2025Updated 8 months ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆11Sep 28, 2025Updated 5 months ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- ☆15Mar 27, 2018Updated 7 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆139Updated this week
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- ☆14Oct 19, 2024Updated last year
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- Pure Python implementation of standard elliptic curves☆18Oct 29, 2021Updated 4 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 10 years ago
- ☆49Feb 20, 2025Updated last year