chaosma

Pinned Repositories

chaosma.github.io
Language:CSS0 0 10
colorful-winsep.nvim
Make your nvim window separators colorful
Language:Lua00
dfs
distributed file system
Language:Go2 0 00
halo2curves
Language:Rust0 0 01
maci
Minimal anti collusion infrastructure
Language:TypeScript1 1 00
Nova
Nova: Recursive SNARKs without trusted setup
Language:Rust0 0 01
nova-maci
Language:Rust3 1 01
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Language:JavaScript0 0 01
tmuxconfig
Oh My Tmux! My pretty + versatile tmux configuration that just works
7 0 05

chaosma's Repositories

chaosma/tmuxconfig
Oh My Tmux! My pretty + versatile tmux configuration that just works
7 0 05
chaosma/nova-maci
Language:Rust3 1 01
chaosma/dfs
distributed file system
Language:Go2 0 00
chaosma/maci
Minimal anti collusion infrastructure
Language:TypeScript1 1 00
chaosma/chaosma.github.io
Language:CSS0 0 10
chaosma/colorful-winsep.nvim
Make your nvim window separators colorful
Language:Lua00
chaosma/halo2curves
Language:Rust0 0 01
chaosma/Nova
Nova: Recursive SNARKs without trusted setup
Language:Rust0 0 01
chaosma/Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Language:JavaScript0 0 01
chaosma/scroll-prover
Scroll zkEVM Playground
Language:Yul0 0 01
chaosma/snark-verifier
Language:Rust0 0 00
chaosma/snark-verifier-cli
Language:Rust1 0
chaosma/sp1
A performant, 100% open-source, contributor-friendly zkVM.