☆34Dec 5, 2025Updated 7 months ago
Alternatives and similar repositories for zk-soundness-lite
Users that are interested in zk-soundness-lite 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 very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities☆34Dec 5, 2025Updated 7 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 7 months ago
- ☆36Dec 11, 2025Updated 7 months ago
- ☆36Dec 10, 2025Updated 7 months ago
- ☆36Dec 9, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- ☆34Dec 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
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 7 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 7 months ago
- ☆36Dec 10, 2025Updated 7 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 7 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,823Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆37Dec 10, 2025Updated 7 months ago
- ☆36Dec 11, 2025Updated 7 months ago
- ☆17Dec 10, 2025Updated 7 months ago
- Every AI Agent deserves a wallet.☆1,275Updated this week
- Client libraries for managing EVM and Solana wallets while relying on CDP to secure private keys.☆189Updated this week
- 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
- Space and Time | Proof of SQL☆5,406Updated this week
- 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.
- Desktop KMM version of the ADB GUI☆46Jan 6, 2025Updated last year
- A reimplementation for Levinson, J., & Thrun, S. (2016). Automatic Online Calibration of Cameras and Lasers. https://doi.org/10.15607/rss…☆14Feb 23, 2023Updated 3 years ago
- Source Code for SIGGRAPH Asia 2021 Paper "Ensemble Denoising for Monte Carlo Renderings"☆61Jan 5, 2022Updated 4 years ago
- Helpful functions to manage monorepos (using Yarn Workspaces)☆26Jan 14, 2020Updated 6 years ago
- The OpenFISMA project is an open source application designed to reduce the complexity and automate the regulatory requirements of the Fed…☆10Apr 21, 2015Updated 11 years ago
- Minimalistic Growth16 snark system.☆10Jul 18, 2023Updated 3 years ago
- vm builder scripts☆19Aug 22, 2015Updated 10 years ago
- Implements popular img2txt captioning models into ComfyUI nodes☆100Mar 14, 2025Updated last year
- A node.js module to migrate all repositories for a given BitBucket user or team to a Gogs installation (http://gogs.io/)☆10Jan 16, 2015Updated 11 years 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.
- A drop-in NSScrollView subclass with adjustable top and bottom fade. Works for any content but is intended for table/outline views.☆35Nov 18, 2012Updated 13 years ago
- Displays only the Browse tab and hides the entire tab bar in iOS Files app☆33May 19, 2025Updated last year
- Extends the MonoDevelop NuGet addin☆75Dec 16, 2022Updated 3 years ago
- EPRecon: An Efficient Framework for Real-Time Panoptic 3D Reconstruction from Monocular Video (ICRA2025)☆167Dec 4, 2025Updated 7 months ago
- Simulator tweak injection and helpers☆193Jan 10, 2026Updated 6 months ago
- SharpSploit is a .NET post-exploitation library written in C#☆1,883Aug 12, 2021Updated 4 years ago
- An eight button USB/5 pin MIDI footswitch☆23Sep 28, 2019Updated 6 years ago