☆36Dec 9, 2025Updated 7 months ago
Alternatives and similar repositories for zk-gas-soundness
Users that are interested in zk-gas-soundness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Dec 5, 2025Updated 7 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 7 months ago
- ☆36Dec 10, 2025Updated 7 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 7 months ago
- ☆34Dec 5, 2025Updated 7 months ago
- 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.
- ☆36Dec 10, 2025Updated 7 months ago
- The module demonstrates how an on-chain vault can lock AptosCoin against opaque note commitments☆18Dec 5, 2025Updated 7 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 7 months ago
- ☆37Dec 10, 2025Updated 7 months ago
- ☆17Dec 10, 2025Updated 7 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,823Updated this week
- ☆36Dec 11, 2025Updated 7 months ago
- how will the protocol work?☆7,911Dec 8, 2025Updated 7 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 7 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.
- ☆19Dec 9, 2025Updated 7 months ago
- ☆36Dec 11, 2025Updated 7 months ago
- Goal: check whether eth_getLogs results are identical across two RPC providers for the same filter, and produce a Keccak commitment over …☆35Dec 11, 2025Updated 7 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 7 months ago
- Client libraries for managing EVM and Solana wallets while relying on CDP to secure private keys.☆189Updated this week
- ☆686Mar 17, 2026Updated 4 months ago
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,293Feb 20, 2026Updated 5 months ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,153Updated this week
- A payments protocol for the internet. Built on HTTP.☆6,388Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14,344Jul 1, 2026Updated 3 weeks ago
- A demonstration of invoking AppleScript scripts from SwiftUI☆17Feb 3, 2021Updated 5 years ago
- ☆17Mar 16, 2020Updated 6 years ago
- WordPress plugin which allow you to run A/B tests from anywhere within your content.☆61Apr 26, 2021Updated 5 years ago
- View Mover Library for Android☆65Feb 5, 2017Updated 9 years ago
- A jspm initialised repository with sane defaults.☆14Apr 27, 2015Updated 11 years ago
- Fully automated Bot for Supreme (supremenewyork.com)☆12Apr 4, 2017Updated 9 years ago
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- Haskell library containing common graph search algorithms☆56Jun 28, 2025Updated last year
- 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.
- Android custom button with centered drawable☆25Dec 8, 2016Updated 9 years ago
- Scripts to decloak Linux Loadable Kernel Module (LKM) stealth rootkits.☆35Sep 28, 2025Updated 9 months ago
- ☆22May 5, 2025Updated last year
- HTTP proxy with service discovery capabilities based on consul☆17Aug 3, 2017Updated 8 years ago
- ☆93Oct 11, 2024Updated last year
- ☆18Jul 3, 2022Updated 4 years ago
- A modern command line job processor, similar with make command☆205Mar 8, 2023Updated 3 years ago