☆34Dec 5, 2025Updated 10 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 10 months ago
- small Web3 architecture gauge for Aztec-style proving.☆39Dec 3, 2025Updated 10 months ago
- ☆36Dec 11, 2025Updated 10 months ago
- ☆36Dec 10, 2025Updated 10 months ago
- ☆36Dec 9, 2025Updated 10 months 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.
- The module demonstrates how an on-chain vault can lock AptosCoin against opaque note commitments☆18Dec 5, 2025Updated 10 months ago
- A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects☆34Dec 4, 2025Updated 10 months ago
- ☆34Dec 5, 2025Updated 10 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 10 months ago
- Minimal Scrypto blueprint for Radix that demonstrates a privacy inspired vault for XR☆18Dec 4, 2025Updated 10 months ago
- A tiny CLI script that compares three conceptual Web3 architectural styles☆18Dec 5, 2025Updated 10 months ago
- ☆36Dec 10, 2025Updated 10 months ago
- web3_style_sniffer☆19Dec 10, 2025Updated 10 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,825Oct 8, 2026Updated last week
- 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.
- ☆37Dec 10, 2025Updated 10 months ago
- ☆36Dec 11, 2025Updated 10 months ago
- how will the protocol work?☆7,862Dec 8, 2025Updated 10 months ago
- ☆17Dec 10, 2025Updated 10 months ago
- Every AI Agent deserves a wallet.☆1,336Updated this week
- React components and TypeScript utilities to help you build top-tier onchain apps.☆1,042Sep 22, 2026Updated 3 weeks ago
- FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications☆24,769Updated this week
- Space and Time | Proof of SQL☆5,384Sep 14, 2026Updated last month
- RC2014 programs☆10Jan 18, 2026Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Application présentée en live coding pendant la première session de FlutterRennes et permettant de compter des dindons!☆10Nov 6, 2018Updated 7 years ago
- Fast string searcher, useful for multi-part post parsing☆10Feb 24, 2021Updated 5 years ago
- official code for GliDe with a CaPE☆21Aug 13, 2024Updated 2 years ago
- Various scripts and tutorials related to pgRouting☆15Aug 19, 2022Updated 4 years ago
- Nostr client for Android☆1,613Updated this week
- Symfony bundle that wrap sapient library☆11Jun 19, 2022Updated 4 years ago
- This application is able to monitor each process's cpu and memory utilization, cpu time, state, PID and user information.☆15Sep 25, 2017Updated 9 years ago
- CSRF protection for Django without cookies.☆111Mar 28, 2019Updated 7 years ago
- etk-Foundry project template☆21Feb 14, 2023Updated 3 years 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.
- A very simple typescript whatsapp gateway via expressjs REST API using whatsapp-web.js☆14Mar 8, 2026Updated 7 months ago
- Database Sharding for ActiveRecord☆2,542Feb 16, 2024Updated 2 years ago
- RailsAdmin is a Rails engine that provides an easy-to-use interface for managing your data☆7,958Updated this week
- Source code for QuizFrame☆18Jan 28, 2024Updated 2 years ago
- A team of long-lived bots for DeepSeek Harness, with main bots, bot-to-bot messages and group chats.☆2,570Updated this week
- 🧙♀️ ᚱᚢᚾᛖᛋ in your R Documents!☆11Dec 13, 2020Updated 5 years ago
- A collection of tools for common tasks needed on the Cisco Firepower Management Center using a fork of the fireREST library.☆44Dec 22, 2023Updated 2 years ago