Skip to content
View critesjosh's full-sized avatar
🥸
🥸

Block or report critesjosh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
7 stars written in Rust
Clear filter

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Rust 1,542 598 Updated Dec 15, 2025

Noir is a domain specific language for zero knowledge proofs

Rust 1,263 356 Updated Dec 25, 2025

zkBitcoin: zero-knowledge proofs on Bitcoin!

Rust 163 30 Updated Aug 22, 2024

an introduction to noir, with simple examples

Rust 44 6 Updated Jan 8, 2024

Noir implementation of RSA-verify

Rust 43 9 Updated Dec 20, 2023

Rust wrapper for Noir circuits integration.

Rust 12 4 Updated Oct 7, 2025