☆20Oct 14, 2024Updated last year
Alternatives and similar repositories for risczero-poc
Users that are interested in risczero-poc are comparing it to the libraries listed below
Sorting:
- Postgres extension to handle IBC datatypes.☆23Aug 13, 2025Updated 6 months ago
- A template to write IBC-capable contracts on EVM and Cosmwasm☆43Aug 10, 2024Updated last year
- ACL2 experiments on arithmetic circuits☆12Jul 31, 2024Updated last year
- Explore the full Bitcoin ecosystem with mempool.space, or self-host your own instance with one-click installation on popular Raspberry Pi…☆10Oct 10, 2024Updated last year
- CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine☆57Jan 26, 2026Updated last month
- ☆13Oct 7, 2025Updated 4 months ago
- A curated list of awesome Nexus code, libraries, software and resources☆20Feb 26, 2025Updated last year
- Abstract CLI☆18Apr 3, 2025Updated 11 months ago
- Rust crate to generate and verify proofs for Noir circuits☆27Feb 18, 2026Updated 2 weeks ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Movement is building the ecosystem that empowers talented builders to create the future of finance through the Move language - the safest…☆21Feb 20, 2026Updated 2 weeks ago
- ☆25May 18, 2024Updated last year
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- WASM DRS - WASM Dymension Rollapp Standard☆32Jan 29, 2026Updated last month
- Developer documentation for building on Abstract.☆26Feb 26, 2026Updated last week
- Keybase Local Key Security implementation, using Ipfs-Embed + Substrate☆34Oct 21, 2020Updated 5 years ago
- 👾 DX-focused decentralized zero-knowledge framework 🛸☆39Apr 18, 2024Updated last year
- The purpose of this repository is for devs and non devs to carry out tests on the precompiled botanix artifacts. It contains an easy rpc …☆13Feb 23, 2026Updated last week
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Updated this week
- ☆39Jul 3, 2024Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Oct 28, 2025Updated 4 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆14Feb 27, 2026Updated last week
- Community edition of Nightfall_4☆16Updated this week
- https://medium.com/gitcoin/ethdenver-request-for-project-proposals-9ed979dafbbe☆10Feb 1, 2018Updated 8 years ago
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Feb 23, 2026Updated last week
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- ☆36Jun 17, 2024Updated last year
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated 2 weeks ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Updated this week
- ansi contains a bunch of constants and possibly additional terminal related functionality in the future.☆15Nov 11, 2019Updated 6 years ago
- Welcome to the Partially Decryptable Ciphertext Policy Attribute-Based Encryption (CP-ABE) Scheme! This repo implements a CP-ABE scheme t…☆11Jul 17, 2025Updated 7 months ago
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 3 weeks ago
- ☆11Mar 19, 2024Updated last year
- Generic math on integer lattices☆10Feb 23, 2024Updated 2 years ago
- Build a collectables chain with Substrate.☆11May 9, 2023Updated 2 years ago