This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.

Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy preservation of state execution on EVM blockchains

private OTC (SPL) trading on Solana, powered by zk proofs

zkDompet - Anonymous Multisig Wallet powered by ZK

A game powered by zero knowledge

an exploration of type-level SAFE

aleo-agent is a simple-to-use library to interact with the Aleo Network in Rust

Python ZK-STARK implementation for learning and research

your bridge to web2 and web3 in brand new and unprecedented privacy

The article I wrote introduces a novel, never seen before approach to creating private, discoverable, but consistent worlds that remain hidden from everyone (even from the game creator) except those actively exploring them, using blockchain and cryptographic techniques like Zero-Knowledge Proofs and Private Set Intersection.

Nix Core Staging Repo (0.20 work in progress, use NIXCore https://github.com/NixPlatform/NixCore)

Supply-chain security for AI fine-tuning. This repo generates zk-SNARK proofs per gradient step, binds proving keys to TEEs, prevents rollback, and publishes audit artifacts for public replay

Circom RSA-4096 SHA-512 Zero-Knowledge Proof Circuit

🔐 CipherArmor - Zero-knowledge password manager with client-side encryption, secure authentication, vault organization, and analytics dashboards. Built with React, Supabase, and modern security practices (zxcvbn, master-password protection).

A demo implementation of groth16 using SnarkJs for prover and bellman for verification

Advance Everyday Payments and E-Commerce in Aleo blockchain using leo programming. using it for codesprint v4

Exploring the magic of mathematics and cryptography and everything in between.