Soroban contract for Ultrahonk Verifier
☆12Jan 28, 2026Updated 9 months ago
Alternatives and similar repositories for ultrahonk_soroban_contract
Users that are interested in ultrahonk_soroban_contract are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Oct 12, 2026Updated 2 weeks ago
- ☆13Aug 16, 2025Updated last year
- Noir circuit that verifies Openbanking payments☆12Jun 7, 2025Updated last year
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Write a lattice-based cryptographic protocol in a Rust-based DSL, much as you would write it on paper, and run it on GPUs, with no CUDA a…☆21Oct 19, 2026Updated last week
- 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.
- ☆20Jun 20, 2025Updated last year
- ☆14Mar 16, 2026Updated 7 months ago
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated last week
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user fl…☆25Updated this week
- Nethermind Privacy Engineering team's implementation of private payments for the Stellar network☆60Updated this week
- Rust crate to generate and verify proofs for Noir circuits☆30Oct 23, 2026Updated last week
- A zero-knowledge protocol for anonymous interactions.☆13Aug 27, 2025Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated 2 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.
- Port of Circom Sparse Merkle Tree verifier to Noir.☆15Jan 26, 2024Updated 2 years ago
- A wallet aggregator and transaction signer for the Stellar Network☆19Mar 17, 2025Updated last year
- Rust environment for Soroban contracts.☆85Oct 16, 2026Updated 2 weeks ago
- ☆21Jul 23, 2026Updated 3 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 6 months ago
- Soroswap Core's (AMM, Factroy, Router) smart contracts written in rust with soroban-sdk☆22Sep 6, 2026Updated last month
- V1 of our repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for pu…☆19Oct 9, 2026Updated 3 weeks ago
- Proof-native Layer 1 ordered by proof of work. State validated from genesis in O(1). Provable end-to-end post-quantum soundness from gene…☆49Updated this week
- explore the static call graphs of wasms☆11Dec 3, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- ☆19Oct 20, 2026Updated last week
- ☆19Sep 3, 2026Updated last month
- A development tool for building web3 games on Stellar☆19Mar 26, 2026Updated 7 months ago
- OpenZeppelin Contracts written in Rust for Stellar Soroban☆97Oct 24, 2026Updated last week
- ☆18Dec 1, 2025Updated 10 months ago
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 2026Updated 5 months ago
- proof of pdf☆49May 15, 2026Updated 5 months ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 3 years 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.
- Stellar-core integration test automation tool☆10Oct 19, 2026Updated last week
- ☆10May 17, 2021Updated 5 years ago
- ZK Email in Noir☆91Oct 15, 2026Updated 2 weeks ago
- Solidity SNARK verifier generator for Arkwork's proof systems.☆11Jun 23, 2025Updated last year
- ☆23Oct 23, 2026Updated last week
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated 2 years ago
- Small project I made to try and get used to Unity 2D. An angry birds clone with a working slingshot, enemies, player, destroyable tiles, …☆12Oct 29, 2018Updated 8 years ago