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
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆35Jan 30, 2026Updated last month
- ☆33Jan 4, 2024Updated 2 years ago
- ☆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
- CLI for Titan Suite☆13Dec 12, 2018Updated 7 years ago
- QCLAB Matlab Toolbox☆14Dec 22, 2025Updated 2 months ago
- A blockchain messenger☆12Jul 13, 2019Updated 6 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 11 months ago
- IP Creator permissionless dapp with Zero Fees – Programmable IP for the Integrity Web☆13Updated this week
- Experimenting with Rust's fundamental data model☆59Feb 10, 2026Updated 3 weeks ago
- ☆10Mar 4, 2022Updated 4 years ago
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆92Jul 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
- ☆10Oct 24, 2022Updated 3 years ago
- A package implementing various controllers for first order DS tasks☆10Sep 12, 2019Updated 6 years ago
- ☆12Mar 22, 2025Updated 11 months ago
- zk hacker house taiwan project☆11Mar 14, 2024Updated last year
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- UI for the GoodProtocol smart contracts☆11Updated this week
- ☆10Aug 13, 2024Updated last year
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- ☆10Mar 14, 2018Updated 7 years ago
- Javascript tool for animation of linear physical systems☆16Aug 2, 2016Updated 9 years ago
- A sum-of-squares toolbox for stability analysis☆10Dec 4, 2024Updated last year
- ☆11Jan 17, 2024Updated 2 years ago
- Experimental implementation of an ETH2.0 beacon chain in python☆10Jun 15, 2018Updated 7 years ago
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆12Oct 12, 2024Updated last year
- Deck-building game on Starknet☆14Nov 12, 2025Updated 3 months ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- ☆13Nov 5, 2025Updated 4 months ago
- 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
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year