repository for machine learning algorithms and systems on emergent runtimes
☆21Jan 31, 2023Updated 3 years ago
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- essentialist neural network transpiler for non-floating-point runtimes☆30Nov 7, 2022Updated 3 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆14Dec 29, 2022Updated 3 years ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- Server for ZKML☆21Mar 5, 2023Updated 2 years ago
- ☆23Mar 6, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- ☆86Sep 27, 2023Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- ☆11Jan 25, 2022Updated 4 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 4 years ago
- zk hacker house taiwan project☆11Mar 14, 2024Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆15Nov 18, 2024Updated last year
- ☆13Mar 6, 2023Updated 2 years ago