Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆13Apr 25, 2025Updated 11 months ago
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 4 months ago
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 6 months ago
- CLI to create a zkApp (zero-knowledge app) for Mina Protocol☆127Mar 17, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆21Jan 3, 2025Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- ☆29Aug 19, 2024Updated last year
- OCaml record fields as first class values☆22Jan 15, 2026Updated 2 months 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
- ☆30Updated this week
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 2 years ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆22Oct 7, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Sep 4, 2020Updated 5 years ago
- ☆21Mar 6, 2025Updated last year
- ☆25Jan 10, 2024Updated 2 years ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆50Updated this week
- 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
- 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 last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 5 years ago
- build onchain apps that use zupass proofs at the contract level☆10May 31, 2024Updated last year
- Receive payment anonymously from anyone.☆12Feb 9, 2025Updated last year
- A TypeScript-first implementation of the Borsh binary serialization format, with a modern Zod-like API and full type inference.☆13Updated this week
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- logic file system☆27Mar 16, 2018Updated 8 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- ☆16Feb 19, 2026Updated last month
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 6 months ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- (Deprecated) Demo for Valence ZK programs.☆14May 30, 2025Updated 9 months ago
- Make Agent CLI is a powerful command-line tool designed to streamline the management and deployment of AI agents across multiple chains. …☆15Sep 3, 2025Updated 6 months ago
- A guide on smart contract patterns & practices☆31Aug 7, 2020Updated 5 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- A collection of notes while learning things.☆13Dec 18, 2013Updated 12 years ago