Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆13Apr 25, 2025Updated last year
Alternatives and similar repositories for o1js-bindings
Users that are interested in o1js-bindings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 4, 2021Updated 4 years ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆23Oct 20, 2023Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 8 months ago
- CLI to create a zkApp (zero-knowledge app) for Mina Protocol☆124Jul 21, 2026Updated last week
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆28Aug 19, 2024Updated last year
- ☆22Jan 3, 2025Updated last year
- OCaml record fields as first class values☆22Jul 10, 2026Updated 2 weeks ago
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- ☆13Jan 22, 2024Updated 2 years ago
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆58Mar 10, 2024Updated 2 years ago
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 3 years ago
- ☆30May 13, 2026Updated 2 months ago
- ☆19Sep 4, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆25Oct 7, 2025Updated 9 months ago
- ☆25Jan 10, 2024Updated 2 years ago
- A monorepo for vOPRF-based secure nullifiers☆23Apr 13, 2025Updated last year
- ☆21Mar 6, 2025Updated last year
- ☆26Nov 23, 2025Updated 8 months ago
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Jan 24, 2024Updated 2 years ago
- List of zkApps and other applications that are built on Mina / o1js.☆15Jan 8, 2024Updated 2 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- (Deprecated) Demo for Valence ZK programs.☆12May 30, 2025Updated last year
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- Chart.js bindings for OCaml☆13May 13, 2021Updated 5 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Kettle builds and verifies attested builds, packages that include cryptographically signed SLSA provenance.☆35Updated this week
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- File mapping☆12Dec 14, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 📡 expose browser devtools port publicly with TLS and authentication.☆19Sep 10, 2024Updated last year
- Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI☆30May 4, 2026Updated 2 months ago
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 10 months ago
- TypeScript framework for zk-SNARKs and zkApps☆605Jul 22, 2026Updated last week
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 6 years ago
- The proof systems used by Mina☆461Jul 20, 2026Updated last week
- A phylogenetic tree of animals☆13Sep 25, 2016Updated 9 years ago