Minimal Merkle Tree implementations

A curated list of Zero Knowledge links, mostly focusing on blockchain.

Verkle trie java implementation

A go implementation of Verkle trees

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Math problems I found nice enough to implement, beginning with easy problems, then I will add some intermediate, advanced problems.

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbas…

Neovim 0.9 configuration for coding React, TypeScript and Rust

This is the frontend for the Scroll documentation

A set of tooling related to halo2 circuits verification inside Solidity contracts

arithmetic in (small) finite fields

Noir is a domain specific language for zero knowledge proofs

A Rust library for the Marlin preprocessing zkSNARK

Cryptopals implementations in Rust 🦀

My homework and notes on zkEVM Bootcamp by zkSync and Encode Club

📚 Learning the basics of Unity by coding 10 games.

Jupyter notebook for explaining elliptic curve encryption

Open-source Ethereum consensus client written in Java

Go implementation of Ethereum proof of stake

Nimbus: an Ethereum Execution Client for Resource-Restricted Devices

🌟 TypeScript Implementation of Ethereum Consensus

Ethereum consensus client in Rust

Go implementation of the Ethereum protocol

A robust execution client for Ethereum node operators.