rkdud007

sp1-storage-proof

storage proof made by sp1

alloy-merkle-tree

Minimal Merkle Tree implementations

mini-storage-proofs

simple workflow to understand storage proofs

toji

CLI toolkit for EVM blockchains, retrieving rlp encoded block headers and hashes

gossip-p2p-tutorial-rs

libp2p-rs tutorial with gossip protocol

blog

personal blog

halo2

sp1-merkle-tree

merkle tree program with SP1

alloy

Transports, Middleware, and Networks for the Alloy project

async-rust

awesome-sp1

A curated list of awesome resources related to SP1 - Succinct's zkVM.

brainfuck_zkvm

cose-241

Logic Gate

cose-371

Database

cose-451

Software Security

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

cryptography

dict_access_poc

dojo

Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.

eth_essentials

halo2-dev

halo2-solidity-verifier

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

halo2_tutorial

halo2 tutorial

kibane

packagize

pie_to_bytes

playground

dumb playground for learn some stuff and test out with simple logic and share with frens when im stuck

sp1

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

starknet-warpcast

Starknet x Warpcast

summa-solvency

Monorepo for Summa Proof of Solvency Protocol