Beast code in Giters

grjte's repositories

Tutorial for STARKs with supporting code in python

Language:PythonApache-2.0200

Monorepo of tools for using the halo2 proving system in-browser using WASM.

Language:TypeScriptMIT000

A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

Language:RustNOASSERTION000

STARK-based virtual machine

Language:RustMIT000

🏗 forkable Ethereum dev stack focused on fast product iterations

Language:CSSMIT000

Solidity, the Smart Contract Programming Language

Language:C++GPL-3.0000

A performant, 100% open-source, contributor-friendly zkVM.

Language:RustApache-2.0000

🌴 Empowering everyone to build reliable and efficient smart contracts.

Language:RustApache-2.0000

A STARK prover and verifier for arbitrary computations

Language:RustMIT000

ZK Hack Puzzle 1: Let's Hash it Out

Language:Sage000

ZK Hack Puzzle 3: Double Trouble

Language:Rust000

ZK Hack Puzzle 4: Hidden in Plain Sight

Language:Rust000

library to encode/decode base64 from byte arrays

Language:NoirNOASSERTION000

ZK Hack Puzzle 6: The Soundness of Music

Language:Rust000

ZK Hack Puzzle 5: Strong Adaptivity - to be adaptive is to be strong

Language:Rust000