Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Pure Lean 4 implementations of every EVM precompiled contract cryptographic primitive.
Lean 2 1
Forked from ethereum/go-ethereum
Go implementation of the Ethereum protocol
Go 2
Forked from NethermindEth/nethermind
A robust execution client for Ethereum node operators.
C#
Forked from matter-labs/zksync-protocol
ZKsync protocol libraries
Rust
The Spark Bitcoin layer 2 protocol
JavaScript 113 76
There was an error while loading. Please reload this page.