A high performance and modular implementation of the Akita polynomial commitment scheme
☆16Jul 14, 2026Updated this week
Alternatives and similar repositories for akita
Users that are interested in akita are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- ☆53Feb 20, 2025Updated last year
- Lattice zkVM (post-quantum zkVM)☆27Updated this week
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 3 months ago
- Separation Logic Proofs in Lean☆54Jan 28, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- Implementation of Multi-Key TFHE [KMS22]☆21Jan 24, 2024Updated 2 years ago
- A complete version of Uniswap in Plutus.☆12Sep 6, 2021Updated 4 years ago
- Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.☆19Oct 16, 2025Updated 8 months ago
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- Rust examples of zero knowledge proofs (ZKP) running on the Internet Computer blockchain.☆12Feb 8, 2023Updated 3 years ago
- Urbit Web App which allows users to easily view key stats and have administrative control over their Urbit ship straight from the web bro…☆13Apr 26, 2022Updated 4 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Reproducible hardened Linux images for confidential computing and safe MEV☆23Updated this week
- resource exhaustion vulnerabilities in PoSv3 cryptocurrencies☆22Apr 27, 2022Updated 4 years ago
- ☆14Dec 26, 2024Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- Implementation of Multi-Key Homomorphic Encryption [KKLSS22]☆19Mar 30, 2023Updated 3 years ago
- A Model Context Protocol (MCP) server that enables AI assistants to control Keynote presentations through AppleScript automation.☆67Jul 6, 2025Updated last year
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆20Jul 7, 2026Updated last week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Jan 24, 2024Updated 2 years ago
- Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness…☆46Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The Wallet for AI Era. Use your Bankr Address across all the dapps, just like Metamask!☆61Updated this week
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆75Updated this week
- Go implementation of (MK)TFHE scheme☆41Updated this week
- Formally Verified Arguments of Knowledge in Lean☆312Updated this week
- ☆19Dec 19, 2023Updated 2 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- Decentralized oracle network on IC blockchain.☆18Jul 28, 2023Updated 2 years ago
- Binary Proofs, Blazing Fast☆157Updated this week
- Formalized Cryptography Proofs in Lean 4☆122Updated this week
- 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.
- ☆54Jul 4, 2026Updated last week
- Internationalisation library for Web applications (server and/or client)☆16Jun 30, 2026Updated 2 weeks ago
- ☆38Jun 18, 2025Updated last year
- Zero Knowledge dApp created for Harmony Zero Knowledge University Final Project☆15May 6, 2022Updated 4 years ago
- ☆47Updated this week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Updated this week
- BLS 12-381 and 12-377 precompile access in solidity☆17Feb 3, 2021Updated 5 years ago