bing's repositories
poseidon-zig
Zig implementation of the Poseidon hash function
shamir-zig
Shamir's Secret Sharing in Zig
arocc
A C compiler written in Zig.
cairo-zig
⚡ Cairo VM in Zig ⚡
circuit-tools
A lightweight Halo2 frontend SDK
dojo
Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.
jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
kickstart.nvim
A launch point for your personal nvim configuration
miden-vm
STARK-based virtual machine
noname
Noname: a programming language to write zkapps
Nova
Nova: Recursive SNARKs without trusted setup
pazk
Algorithms in Proofs, Arguments and Zero-Knowledge
plonk-by-hand-py
PLONK by hand in Python
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
revm
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
ronkathon
Cryptography Educational Foundations
sim8086
8086 CPU simulator in Odin
sp1
A performant, 100% open-source, contributor-friendly zkVM.
ssz.zig
A ziglang implementation of the SSZ serialization protocol
valida
A STARK-based VM focused on code reuse, performance, and modularity
zls
The officially unofficial @ziglang language server