Awesome Lisp Companies

Cryptography RFCs related to Zero-Knowledge Proofs

Cairo is the first Turing-complete language for creating provable programs for general computation.

Complete Starknet library in Rust™

A collection of works discussing the security aspects of StarkNet

Cairo0 applicative bootloader minimal example

Cairo-VM STARK Verifier Rust implementation

Various forms of distribution for the Starkware Stone prover and verifier

The Nexus zkVM: The zero-knowledge virtual machine

Implementation for MatMul-free LM.

A Starknet full node written in Rust

Open-source KVM software

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Source code for "Building Cryptographic Proofs from Hash Functions"

A curated list of Rust code and resources.

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbas…

From Zero (Knowledge) to Bulletproofs - writeup

Optimized Solidity snippets.

6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)

The world’s fastest framework for building websites.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Middleware to compile Circom circuits to Nova prover

hardhat-circom template 🐱

👷 TypeScript's largest type utility library

A monorepo of reusable libraries for zero-knowledge technologies.

Small shim that allows AWS Cognito to talk to github (by providing an OpenID wrapper around the Github API)

zkSNARK implementation in JavaScript & WASM