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

A language for building arithmetic circuits based on TypeScript

Create MPC apps with TypeScript.

Pythonic Smart Contract Language for the EVM

A trustless P2P fiat onramp powered by ZK proofs.

A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity how you want to string parse the emails.

Prove your self

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.

A smart contract wallet controlled using email

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

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

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

An advanced yet simple attack/defence CTF infrastructure in Go

Gogs is a painless self-hosted Git service

A no_std implementation of groth16 in pure rust, compatible with https://github.com/zkcrypto/bellman, works with wasm and embedded environments

Master programming by recreating your favorite technologies from scratch.

An Open Source CTF hosting platform

Jeopardy-style CTF challenge deployment and management tool.

COVID-19 Tracking Android App

An advanced C++ 3D game engine powering an in-production game yet to be announced