grjte

Pinned Repositories

halo2-browser
Monorepo of tools for using the halo2 proving system in-browser using WASM.
Language:TypeScript00
mental-poker
A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
Language:Rust00
miden
STARK-based virtual machine
Language:Rust0 0 00
noir_base64
library to encode/decode base64 from byte arrays
Language:Noir00
noir_base64_standard
Base64 encoding library in Noir using the standard alphabet
Language:Noir00
noir_cbor
CBOR encoding/decoding library for Noir
Language:Noir00
scaffold-eth
🏗 forkable Ethereum dev stack focused on fast product iterations
Language:CSS00
solidity
Solidity, the Smart Contract Programming Language
Language:C++0 0 00
sp1
A performant, 100% open-source, contributor-friendly zkVM.
Language:Rust00
stark-anatomy
Tutorial for STARKs with supporting code in python
Language:Python2 0 00

grjte's Repositories

grjte/stark-anatomy
Tutorial for STARKs with supporting code in python
Language:Python2 0 00
grjte/halo2-browser
Monorepo of tools for using the halo2 proving system in-browser using WASM.
Language:TypeScript00
grjte/mental-poker
A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
Language:Rust00
grjte/miden
STARK-based virtual machine
Language:Rust0 0 00
grjte/noir_base64
library to encode/decode base64 from byte arrays
Language:Noir00
grjte/noir_base64_standard
Base64 encoding library in Noir using the standard alphabet
Language:Noir00
grjte/noir_cbor
CBOR encoding/decoding library for Noir
Language:Noir00
grjte/scaffold-eth
🏗 forkable Ethereum dev stack focused on fast product iterations
Language:CSS00
grjte/solidity
Solidity, the Smart Contract Programming Language
Language:C++0 0 00
grjte/sp1
A performant, 100% open-source, contributor-friendly zkVM.
Language:Rust00
grjte/sway
🌴 Empowering everyone to build reliable and efficient smart contracts.
Language:Rust0 0 00
grjte/winterfell
A STARK prover and verifier for arbitrary computations
Language:Rust00
grjte/zkhack-bls-pedersen
ZK Hack Puzzle 1: Let's Hash it Out
Language:Sage00
grjte/zkhack-double-trouble
ZK Hack Puzzle 3: Double Trouble
Language:Rust00
grjte/zkhack-hidden-in-plain-sight
ZK Hack Puzzle 4: Hidden in Plain Sight
Language:Rust00
grjte/zkhack-soundness-of-music
ZK Hack Puzzle 6: The Soundness of Music
Language:Rust
grjte/zkhack-strong-adaptivity
ZK Hack Puzzle 5: Strong Adaptivity - to be adaptive is to be strong
Language:Rust