☆36Dec 11, 2025Updated 8 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 8 months ago
- ☆36Dec 10, 2025Updated 8 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 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
- ☆34Dec 5, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆36Dec 10, 2025Updated 8 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 8 months ago
- ☆34Dec 5, 2025Updated 8 months ago
- ☆37Dec 10, 2025Updated 8 months ago
- ☆36Dec 11, 2025Updated 8 months ago
- ☆17Dec 10, 2025Updated 8 months ago
- web3_style_sniffer☆19Dec 10, 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
- ☆36Dec 9, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 8 months ago
- ☆19Dec 9, 2025Updated 8 months ago
- Every AI Agent deserves a wallet.☆1,281Updated this week
- Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰☆15,268Feb 20, 2026Updated 5 months ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆25,081Updated this week
- ☆14,589Jul 26, 2026Updated 2 weeks ago
- ☆12Jul 12, 2026Updated 3 weeks ago
- Synthetic LISA: a noise and signal simulator for LISA-like gravitational-wave observatories☆16Sep 14, 2017Updated 8 years ago
- Magento 2 module that solves the problem of oversized CSP headers by splitting them into multiple headers. It extends Magento's CSP Simpl…☆52Mar 24, 2025Updated last year
- 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.
- 本人PHPer，平时喜欢写一些开源的东西，同时也希望有前端、后台的小伙伴能一起合作。本项目开源并且一直更新，扫描下方二维码了解更多，体验地址：☆16Feb 6, 2018Updated 8 years ago
- A resource center app for iOS jailbreaks and iCloud bypasses!☆15Apr 15, 2023Updated 3 years ago
- ☆18Apr 22, 2025Updated last year
- ☆55Apr 15, 2025Updated last year
- TYPO3 CMS extension for fetching a RSS / Atom Feed and display its content on the Frontend☆12Mar 13, 2024Updated 2 years ago
- 😛 Review of Mastering PostgreSQL In Application Development☆11May 15, 2019Updated 7 years ago
- Identifying and Avoiding Unpredictable Pedestrians in RL-based Social Robot Navigation☆17Aug 12, 2024Updated last year
- foundationdb top utility☆11Mar 13, 2024Updated 2 years ago
- Magento 2 module to check upon the code of Magento 2 modules from the CLI☆96Jun 2, 2026Updated 2 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.
- Passive request fingerprinting demo. Visit at tls.peet.ws / tls3.peet.ws☆444Jul 27, 2026Updated 2 weeks ago
- A simple node.js request parser for http endpoints that interact with a given leveldb instance. works with http://github.com/karissa/node…☆22Jun 8, 2015Updated 11 years ago
- A custom progress view to be used with masking images.☆379Mar 23, 2015Updated 11 years ago
- QuickLook Plugin for Sqlite3☆16Dec 23, 2019Updated 6 years ago
- Golden Wallet - Ethereum Wallet & ERC20 Tokens☆15Aug 15, 2018Updated 7 years ago
- Golang code to crawl website, extract links from html, paths from JavaScript code, follow and repeat.☆12Jun 4, 2018Updated 8 years ago
- HTML, CSS, JS☆11Apr 14, 2024Updated 2 years ago