Lrgtalent / Books-2View external linksLinks
☆18Jun 3, 2018Updated 7 years ago
Alternatives and similar repositories for Books-2
Users that are interested in Books-2 are comparing it to the libraries listed below
Sorting:
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 3 years ago
- ☆13Aug 15, 2024Updated last year
- Guvenkaya Public Security Assessment Reports☆12Jan 26, 2026Updated 3 weeks ago
- 本科学习资料备份☆12Mar 23, 2020Updated 5 years ago
- A halo2 implementation of on-chain DCAP attestation verification☆15Sep 9, 2024Updated last year
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- ☆11Jan 1, 2025Updated last year
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Feb 9, 2026Updated last week
- Linux kernel module for RedPill☆13Aug 27, 2024Updated last year
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆20Jun 17, 2025Updated 7 months ago
- ☆15Apr 9, 2024Updated last year
- ☆17Jun 15, 2022Updated 3 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Apr 4, 2025Updated 10 months ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- ☆15Dec 19, 2023Updated 2 years ago
- This is a quick introduction to getting started with the zkSnark Groth16 algorithm.☆22Sep 6, 2024Updated last year
- Formal verification of the zkWasm project☆16Aug 13, 2024Updated last year
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆22Aug 28, 2025Updated 5 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Jul 6, 2023Updated 2 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- 从零开始学密码学和zk（简易版）☆21Jan 17, 2025Updated last year
- Circom to MP-SPDZ☆23Oct 27, 2024Updated last year
- DID分布式身份解决方案☆20Mar 8, 2021Updated 4 years ago
- Template repository for zkLLVM-based projects☆19Mar 13, 2024Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- 🔒 ZK-WASM: Zero-Knowledge Proofs in Rust 🦀, compiled to WebAssembly 🕸️, bridged with JavaScript 🚀☆27May 26, 2023Updated 2 years ago
- Intensive co-learning for ZK. 残酷 ZK 共学小组，一起学习 ZK 知识。☆27Updated this week
- r1cs file format parser☆23May 6, 2024Updated last year
- BigInt library for Aztec's noir language☆32Mar 11, 2024Updated last year
- ☆25Dec 18, 2024Updated last year
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- ☆27Aug 10, 2022Updated 3 years ago
- 2021 春季黑客松☆25Mar 24, 2021Updated 4 years ago