☆36Dec 9, 2025Updated 8 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 8 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 8 months ago
- ☆36Dec 10, 2025Updated 8 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 8 months ago
- ☆34Dec 5, 2025Updated 8 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 8 months ago
- The module demonstrates how an on-chain vault can lock AptosCoin against opaque note commitments☆18Dec 5, 2025Updated 8 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 8 months ago
- ☆37Dec 10, 2025Updated 8 months ago
- ☆17Dec 10, 2025Updated 8 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,824Updated this week
- ☆36Dec 11, 2025Updated 8 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 8 months ago
- ☆19Dec 9, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆36Dec 11, 2025Updated 8 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 8 months ago
- A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 8 months ago
- Client libraries for managing EVM and Solana wallets while relying on CDP to secure private keys.☆191Aug 5, 2026Updated last week
- ☆687Mar 17, 2026Updated 4 months ago
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,268Feb 20, 2026Updated 5 months ago
- Every AI Agent deserves a wallet.☆1,281Updated this week
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,081Updated this week
- Applying Mica Material to VCL forms in Delphi and C++ Builder using RAD Studio☆12Feb 27, 2022Updated 4 years ago
- 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.
- `capo.js` implementation for Nuxt 3☆88Updated this week
- python based latest zombie bot v.14☆19Mar 23, 2021Updated 5 years ago
- Source code for "Modulation Discovery with Differentiable Digital Signal Processing".☆15Mar 25, 2026Updated 4 months ago
- ☆11Jan 30, 2023Updated 3 years ago
- Building Smart LEGO MINDSTORMS EV3 Robots, published by Packt☆17Jan 24, 2023Updated 3 years ago
- Read the Meteor tutorials in a minimalist app☆17Jan 7, 2019Updated 7 years ago
- 一个集图片浏览、开发技术干货和音乐播放的综合资讯客户端，UI遵循Material Design风格，整体架构参照Google官方的RxMvp示例。☆11Oct 28, 2020Updated 5 years ago
- Package que te permite buscar y filtrar registros de Eloquent Models en Laravel de una manera simple y sencilla.☆14Feb 16, 2021Updated 5 years ago
- 🆙 golang web开发模板 适用于小型网站快速开发~☆23Aug 19, 2022Updated 3 years 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.
- ☆12Dec 18, 2020Updated 5 years ago
- ☆12Apr 20, 2021Updated 5 years ago
- A full working example of marty.js using ES6 classes☆10Jul 2, 2015Updated 11 years ago
- Universal Transfer Learning in Porous Materials, including MOFs.☆123May 23, 2026Updated 2 months ago
- 📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)☆1,015Jun 9, 2026Updated 2 months ago
- Risk estimation algorithms☆30Aug 4, 2018Updated 8 years ago
- ☆37Jan 20, 2026Updated 6 months ago