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:
- Sample data for Sindri Labs' Forge API☆22Mar 11, 2025Updated 11 months ago
- 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
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- ☆10Mar 4, 2022Updated 3 years ago
- Experimenting with Rust's fundamental data model☆58Oct 7, 2025Updated 4 months ago
- CLI for Titan Suite☆13Dec 12, 2018Updated 7 years ago
- A blockchain messenger☆12Jul 13, 2019Updated 6 years 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
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months 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…☆102Feb 5, 2026Updated last week
- Javascript tool for animation of linear physical systems☆16Aug 2, 2016Updated 9 years ago
- ☆12Jun 11, 2025Updated 8 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- UI for the GoodProtocol smart contracts☆10Updated this week
- eip-x☆12Mar 22, 2024Updated last year
- ☆12Nov 19, 2024Updated last year
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- Experimental implementation of an ETH2.0 beacon chain in python☆10Jun 15, 2018Updated 7 years ago
- ☆12Nov 5, 2025Updated 3 months ago
- ☆10Mar 14, 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
- The EigenLayer Improvement Proposal (ELIPs) repository☆12Jan 20, 2026Updated 3 weeks ago
- zk hacker house taiwan project☆11Mar 14, 2024Updated last year
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- ☆11Jan 17, 2024Updated 2 years 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
- Beautiful Icon theme for Zed Code Editor. Port of Bearded Icon Theme for VSCode☆11Apr 9, 2025Updated 10 months ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year