Sindri-Labs / sindri-jsView external linksLinks
Sindri Zero-Knowledge Proof CLI
☆18Oct 15, 2025Updated 4 months ago
Alternatives and similar repositories for sindri-js
Users that are interested in sindri-js are comparing it to the libraries listed below
Sorting:
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- ☆18Nov 12, 2023Updated 2 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Nov 20, 2022Updated 3 years ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆34Jan 30, 2026Updated 2 weeks ago
- ☆33Jan 4, 2024Updated 2 years ago
- BFV implementation in Python☆27Jul 16, 2024Updated last year
- ☆32Apr 15, 2024Updated last year
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- Experimenting with Rust's fundamental data model☆58Oct 7, 2025Updated 4 months ago
- IP Creator permissionless dapp with Zero Fees – Programmable IP for the Integrity Web☆12Feb 8, 2026Updated last week
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated last month
- CLI for Titan Suite☆13Dec 12, 2018Updated 7 years ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Nov 4, 2023Updated 2 years ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆91Jul 23, 2023Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated this week
- Confidential Transfers Wrapped Token Program☆10Mar 9, 2024Updated last year
- This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an econo…☆12Mar 28, 2023Updated 2 years ago
- ☆12Mar 22, 2025Updated 10 months ago
- Simulate and Render MuJoCo in the Browser with 3DGS.☆33Feb 4, 2026Updated last week
- Decree Fiat Shamir Library☆11Mar 27, 2024Updated last year
- The EigenLayer Improvement Proposal (ELIPs) repository☆12Jan 20, 2026Updated 3 weeks ago
- Experimental implementation of an ETH2.0 beacon chain in python☆10Jun 15, 2018Updated 7 years ago
- ☆11Jan 17, 2024Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- Beautiful Icon theme for Zed Code Editor. Port of Bearded Icon Theme for VSCode☆11Apr 9, 2025Updated 10 months ago
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- ☆10Aug 13, 2024Updated last year
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆12Oct 12, 2024Updated last year
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- The stl files and code for the V2 DexHand☆46May 26, 2025Updated 8 months ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- ☆12Nov 5, 2025Updated 3 months ago
- UI for the GoodProtocol smart contracts☆10Updated this week