jerrypatterson89

aleo-setup

A Setup Ceremony for Universal SNARKs

ethereum-developer-tools-list

A guide to available tools and platforms for developing on Ethereum.

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

quorum

A permissioned implementation of Ethereum supporting data privacy

smart-contract-best-practices

A guide to smart contract security best practices

snarkOS

A Decentralized Operating System for ZK Applications

snarkVM

A Virtual Machine for Zero-Knowledge Executions

Tokens

Ethereum Token Contracts

workshop

📜 A Starter Guide to Build ZK Applications 📜

23

frontends

Scroll's Frontends

go-ethereum

Scroll's fork of the official Go implementation of the Ethereum protocol

scroll-prover

Scroll's zkEVM rust crates

zkevm-circuits

zkevm-specs