Lagrange-Labs / lgn-coprocessorView external linksLinks
Hyper-parallel ZK coprocessing.
☆17Aug 29, 2025Updated 5 months ago
Alternatives and similar repositories for lgn-coprocessor
Users that are interested in lgn-coprocessor are comparing it to the libraries listed below
Sorting:
- ☆23Jun 12, 2025Updated 8 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆33Mar 27, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆18Oct 28, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 7 months ago
- SDK for writing application circuits on Brevis☆33Nov 10, 2025Updated 3 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆21Sep 9, 2025Updated 5 months ago
- ☆50Mar 7, 2024Updated last year
- A portable library for proving & verifying ethereum's sync committee consensus proofs.☆29Nov 10, 2023Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 6 months ago
- Template repository for a CG proposal or work item.☆16Aug 30, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 5, 2026Updated last week
- Remote Attestation VErification☆35Jul 29, 2024Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated this week
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 4 months ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Jun 16, 2025Updated 7 months ago
- Monorepo for the Oyster project☆75Feb 3, 2026Updated last week
- Checklist for security audit of ZKP projects by @positivesecurity☆34Sep 12, 2024Updated last year
- libp2p Collaborative Notebook for Research☆38May 1, 2025Updated 9 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Updated this week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated 3 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Oct 22, 2024Updated last year
- SHA256 library highly optimized for Merkle tree computations☆41Jan 19, 2026Updated 3 weeks ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆37Updated this week
- Multiplatform encrypted note-taking app with block-style editor☆17Sep 3, 2025Updated 5 months ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Jan 29, 2026Updated 2 weeks ago
- Community edition of Nightfall_4☆15Feb 4, 2026Updated last week
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 10 months ago
- ☆49Updated this week
- Uniswap v4 optimized router infrastructure☆52Aug 21, 2025Updated 5 months ago
- Anonymous Proof of Ethereum Address Ownership☆43Sep 23, 2024Updated last year
- ZK proofs for image authenticity☆50Oct 3, 2025Updated 4 months ago