Experiments coding privacy-preserving smart contracts in Aztec.
☆71Jul 19, 2026Updated 2 months ago
Alternatives and similar repositories for aztec_experiments
Users that are interested in aztec_experiments 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 locally running AI image blocker for Chrome☆45Aug 31, 2026Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- ☆27Sep 8, 2026Updated last month
- revm/reth block proving on Valida☆14Feb 11, 2025Updated last year
- Rust library for building and interacting with AWS Nitro enclaves.☆18Oct 8, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Organ Bath Pharmacology Simulation☆10Dec 16, 2024Updated last year
- ☆94Sep 13, 2026Updated last month
- Quotes API: A free and open API providing a rich collection of motivational quotes to inspire and uplift users in your applications.☆11Oct 24, 2024Updated last year
- Quadratic Decay Exponential Surge☆11Aug 22, 2022Updated 4 years ago
- Formal specification and verification of Vyper☆41Updated this week
- Universal Wallet for Ethereum☆10Jan 13, 2025Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 8 months ago
- A python notebook to explain how Plonky3 underlying works☆21Mar 2, 2025Updated last year
- Solution for the Optimizoor club's sqrt challenge☆18Nov 2, 2022Updated 3 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.
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jun 20, 2026Updated 3 months ago
- Gnosis VPN system service☆27Updated this week
- Lightweight Minecraft: Bedrock Edition server software written in V☆76Oct 1, 2026Updated 2 weeks ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- ☆13Sep 17, 2024Updated 2 years ago
- MCP server to manage your GitHub starred repositories and lists☆15Jul 31, 2026Updated 2 months ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- Ronin Evolution Proposal☆12Apr 9, 2024Updated 2 years ago
- Benchmark and Correctness oracle for matching engines — 5 calibrated workloads, byte-identical consensus, anti-cheat state audit☆35Updated this 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.
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆21Updated this week
- Zero-Knowledge Proof for Nuclear Disarmament Verification☆15Dec 7, 2023Updated 2 years ago
- Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f…☆148Updated this week
- Woo pool, version 2.0☆14Jul 7, 2025Updated last year
- client side proving☆40Mar 12, 2025Updated last year
- Recibo: encrypted memos for ERC-20 transactions.☆15Jun 18, 2026Updated 4 months ago
- Application-specific Ethereum state client: sync (and archive) only the state your app needs, straight from P2P. BAL-driven, verified, lo…☆70Updated this week
- REST API for accessing coredumps in Kubernetes cluster.☆14Jul 8, 2026Updated 3 months ago
- ☆115Jul 1, 2026Updated 3 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.
- Age Verification ZKP ICAO for Android☆20May 21, 2026Updated 4 months ago
- Witness encryption for KZG openings☆35Nov 6, 2024Updated last year
- Collaboration with the Ethereum Foundation on zk-API usage credits.☆66Updated this week
- ☆11Apr 15, 2026Updated 6 months ago
- Simple Mermaid diagrams RustDoc integration☆27Dec 4, 2024Updated last year
- ☆39Sep 27, 2026Updated 3 weeks ago
- TypeScript Interface for Index Supply☆38Mar 24, 2026Updated 6 months ago