☆21Mar 6, 2025Updated last year
Alternatives and similar repositories for mina-zkml
Users that are interested in mina-zkml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 13, 2024Updated last year
- ☆20Nov 28, 2024Updated last year
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆22Jan 3, 2025Updated last year
- UI Builder is an open-source blockchain development tool that helps developers and non-developers create user-friendly interfaces for sma…☆39Jun 6, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Jul 31, 2024Updated last year
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Apr 25, 2025Updated last year
- 🏗️ The Signet Block Builder 🧱☆23Jun 10, 2026Updated last week
- A smart-contract based, key-encumbered wallet for privately liquefying blockchain assets☆38Apr 28, 2026Updated last month
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆14Oct 12, 2024Updated last year
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- Reproducible hardened Linux images for confidential computing and safe MEV☆20Jun 11, 2026Updated last week
- This script automates the process of unlocking Apple ID accounts by solving captcha challenges, verifying account details, and resetting …☆14Jan 24, 2026Updated 4 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, J…☆1,210Feb 20, 2026Updated 3 months ago
- How to write Solana SPL Token Programs to launch your own token on the Solana blockchain.☆16Jun 21, 2024Updated last year
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 8 months ago
- 免费梯子，免费VPN，真正免费的的VPN，shadowsocks,v2rey,官网地址www.dragonvpn.cc☆13Sep 4, 2024Updated last year
- Everything you need to know about Join-Accumulate Machine (JAM)☆30Jul 24, 2025Updated 10 months ago
- ☆17May 7, 2026Updated last month
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆147Mar 25, 2026Updated 2 months ago
- build onchain apps that use zupass proofs at the contract level☆10May 31, 2024Updated 2 years ago
- Receive payment anonymously from anyone.☆12Feb 9, 2025Updated last year
- AI Agents on 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.
- ☆14Dec 26, 2024Updated last year
- A TypeScript-first implementation of the Borsh binary serialization format, with a modern Zod-like API and full type inference.☆14Mar 30, 2026Updated 2 months ago
- Payy☆72Updated this week
- 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 9 months ago
- ☆18May 27, 2026Updated 3 weeks ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- Examples for signing and executing transactions across multiple blockchain protocols from one NEAR account.☆36Aug 29, 2025Updated 9 months ago
- Effortlessly set up and conduct ranked choice voting☆12Apr 22, 2026Updated last month
- ZK Email in Noir☆87Mar 3, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rust backend sdk for the Fluence network☆20Aug 15, 2024Updated last year
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆17Apr 4, 2025Updated last year
- ☆14Apr 3, 2026Updated 2 months ago
- Elliptic curve operations written in rust.☆12Jul 16, 2024Updated last year
- ☆11May 17, 2025Updated last year
- ☆11Jul 21, 2021Updated 4 years ago
- This is a Solidity library aiming to implement BLAKE2 (using EIP-152).☆18Jun 7, 2020Updated 6 years ago