☆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:
- Material for my course of Computational Physics (3rd semester, obligatory), in National and Kapodistrian University of Athens☆16Jan 9, 2026Updated 2 months ago
- 收集一些好用的AI/ChatGPT相关工具。原则是基于它开发的工具使我们更加轻松地完成工作 / A collection of some good AI/ChatGPT related tools. The principle is that the tools devel…☆16Apr 5, 2023Updated 2 years ago
- 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
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆16Jan 30, 2024Updated 2 years ago
- Guvenkaya Public Security Assessment Reports☆12Jan 26, 2026Updated last month
- ☆12Apr 19, 2021Updated 4 years ago
- 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
- 本科学习资料备份☆12Mar 23, 2020Updated 5 years ago
- Matteo Iacoviello's personal webpage☆12Updated this week
- analyses of top US companies☆12Jun 11, 2015Updated 10 years ago
- ☆11Jan 1, 2025Updated last year
- Linux kernel module for RedPill☆13Aug 27, 2024Updated 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…☆20Updated this week
- ☆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 11 months ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆22Feb 13, 2026Updated 3 weeks ago
- ☆15Dec 19, 2023Updated 2 years ago
- A single Scala file providing bulk-loading for HBase in Spark.☆13Mar 28, 2017Updated 8 years ago
- This is a quick introduction to getting started with the zkSnark Groth16 algorithm.☆22Sep 6, 2024Updated last year
- MacBook 自用软件破解（macOS Intel）☆26May 20, 2023Updated 2 years ago
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- Formal verification of the zkWasm project☆17Aug 13, 2024Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Jul 6, 2023Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- 从零开始学密码学和zk（简易版）☆21Jan 17, 2025Updated last year
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- Circom to MP-SPDZ☆23Oct 27, 2024Updated last year
- ☆30Feb 27, 2026Updated last week
- Hashing circuits implemented in circom☆28Jan 24, 2025Updated last year
- 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 7 months ago
- ☆28Jan 18, 2022Updated 4 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year