☆36Dec 11, 2025Updated 7 months ago
Alternatives and similar repositories for zk-Soundness-Checker
Users that are interested in zk-Soundness-Checker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 7 months ago
- ☆36Dec 10, 2025Updated 7 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 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
- ☆34Dec 5, 2025Updated 7 months ago
- 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.
- ☆36Dec 10, 2025Updated 7 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 7 months ago
- ☆34Dec 5, 2025Updated 7 months ago
- ☆37Dec 10, 2025Updated 7 months ago
- ☆36Dec 11, 2025Updated 7 months ago
- ☆17Dec 10, 2025Updated 7 months ago
- web3_style_sniffer☆19Dec 10, 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
- ☆36Dec 9, 2025Updated 7 months ago
- 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.
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 7 months ago
- ☆19Dec 9, 2025Updated 7 months ago
- how will the protocol work?☆7,911Dec 8, 2025Updated 7 months ago
- ☆686Mar 17, 2026Updated 4 months ago
- Every AI Agent deserves a wallet.☆1,275Updated this week
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,153Updated this week
- An open protocol that lets users connect their mobile wallets to your DApp☆1,757Apr 30, 2026Updated 2 months ago
- A web based indoor viewer that display vector tiles as well as GeoJSON, OSM and IMDF files☆66Updated this week
- Operator used to install the common iam service☆14Updated this week
- 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.
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Tapswap Telegram Game on TON network BOT☆18Aug 6, 2024Updated last year
- Stop Defender Service using C# via Token Impersonation☆171Jan 30, 2022Updated 4 years ago
- Nabla Android SDK☆16Jan 8, 2024Updated 2 years ago
- Minimal Shop UI in flutter☆66Jan 11, 2024Updated 2 years ago
- A super simple session-navigator using obsession / prosession☆12Sep 24, 2017Updated 8 years ago
- The Privacy Guides blog publishes timely information, website announcements, and other updates from the team and contributors.☆31Aug 1, 2024Updated last year
- ☆134Dec 22, 2023Updated 2 years ago
- 🔁 IPFS install manager☆35Feb 29, 2024Updated 2 years ago
- 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.
- Repository containing code for our paper Y. Zhang, D. Jiang, F. Shao, T. Wu, X. Liang and J. Chen, "Metaheuristic-Based Beam Scheduling S…☆28Apr 16, 2025Updated last year
- Code Release for ECCV 2024, "PCF-Lift: Panoptic Lifting by Probabilistic Contrastive Fusion"☆21Mar 23, 2025Updated last year
- Cobalt Strike二次开发笔记，记录功能和思路☆15Jul 9, 2022Updated 4 years ago
- ☆20Jan 7, 2023Updated 3 years ago
- Runtime callbacks for Unity animation clips used in Animator and Animation components.☆45Jan 28, 2020Updated 6 years ago
- ☆19May 23, 2024Updated 2 years ago
- App can be used as E-Commerce app☆38Oct 27, 2019Updated 6 years ago