A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.

Companion for the Simplicity language

🎻 STARK verifier written in Simfony language for the Liquid sidechain

A curated list of awesome things related to learning Circle STARK.

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.

Tokens with private balances using zkSNARKs and Homomorphic Encryption

DKIM RSA-SHA256 Verification Algorithm in Cairo ZKVM

GitHub Action for continuous benchmarking to keep performance

A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

A EVM block proving backend in Cairo

A curated list of awesome projects using STWO.

Nostr x STARKs exploration project.

ZK proofs for image authenticity

Fixed Point Arithmetic type for Cairo smart contracts

Daydreams is a generative agent framework for executing anything onchain

This repository contains everything you need to become proficient in ML/AI Research and Research Papers

Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇

A Worldcoin bridge for Starknet

A lattice-based non-interactive folding scheme written in Rust

Aims to create various ZK verifiers on Starknet for network growth

Verifiable video trimming/editing software using Folding-based zkSNARKs

Binius circuits web demos

Scalable Provable Quantum Resistant network

A decentralized marketplace for human actions, where AI agents autonomously post and verify real-world tasks

Create AI art, earn from your prompts, take your secrets to the grave.