☆13Aug 15, 2024Updated last year
Alternatives and similar repositories for gnark-bn254-verifier
Users that are interested in gnark-bn254-verifier are comparing it to the libraries listed below
Sorting:
- A Python implementation of the Hopfield network☆21May 31, 2021Updated 4 years ago
- r1cs file format parser☆23May 6, 2024Updated last year
- A Cairo implementation of common Elliptic Curve.☆28Jun 30, 2024Updated last year
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Jul 8, 2022Updated 3 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- ☆33Sep 9, 2023Updated 2 years ago
- ☆43Oct 24, 2025Updated 4 months ago
- An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses☆49Updated this week
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Feb 7, 2026Updated 2 weeks ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Numerical optimization code for classical and quantum subset-sum algorithms☆10Feb 14, 2020Updated 6 years ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- Mixnet Messaging App☆11Oct 3, 2025Updated 4 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- 收集一些好用的AI/ChatGPT相关工具。原则是基于它开发的工具使我们更加轻松地完成工作 / A collection of some good AI/ChatGPT related tools. The principle is that the tools devel…☆16Apr 5, 2023Updated 2 years ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆14Nov 16, 2021Updated 4 years ago
- ☆11Feb 18, 2025Updated last year
- An Onchain App in less than 100 components, and ready to be deployed to Vercel.☆14Aug 8, 2024Updated last year
- Universal Wallet for Ethereum☆10Jan 13, 2025Updated last year
- ☆10Apr 7, 2016Updated 9 years ago
- R CRAN package `diptest` : Hartigan's diptest for unimodality (including p-values)☆11Aug 19, 2025Updated 6 months ago
- ☆10Aug 21, 2022Updated 3 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13May 20, 2014Updated 11 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Project template for GBA programming without the hassle of installing devkitpro☆13Nov 13, 2021Updated 4 years ago
- Wordle Game Implemented with Optimint☆15Apr 3, 2024Updated last year
- ☆10Sep 20, 2022Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Fast program tracing and analysis☆17Feb 3, 2026Updated 3 weeks ago
- LEMS interpreter implemented in Python☆12Nov 26, 2025Updated 3 months ago
- smart contracts, front-end, and discord bot for a zero knowledge verification service☆14Mar 28, 2022Updated 3 years ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- Proof of concept for using state proofs and L1 block data to verify cross-chain actions☆12Aug 29, 2024Updated last year
- ☆10Oct 24, 2022Updated 3 years ago
- The Boiler framework, including sample projects☆13Feb 11, 2020Updated 6 years ago
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- C++ STL for speed and cryptanalytic application☆11Dec 16, 2025Updated 2 months ago