ethereum

ethereum/cryptography-specs

Specifications for cryptography in Ethereum, written in Lean.

16 stars 3 forks 16 watchers Lean Creative Commons Zero v1.0 Universal

4 Open Issues Need Help Last updated: Sep 21, 2026

Open Issues Need Help

View All on GitHub

Add SSZ encoding for the public key and the signature 27 days ago

enhancement good first issue

ethereum/cryptography-specs

16

Specifications for cryptography in Ethereum, written in Lean.

Lean

Prove the size of the target-sum code about 1 month ago

enhancement help wanted

ethereum/cryptography-specs

16

Specifications for cryptography in Ethereum, written in Lean.

Lean

Add the tweak encoding and the tweakable hash about 1 month ago

enhancement good first issue

ethereum/cryptography-specs

16

Specifications for cryptography in Ethereum, written in Lean.

Lean

Add CI that builds the library and the proofs about 1 month ago

enhancement good first issue

ethereum/cryptography-specs

16

Specifications for cryptography in Ethereum, written in Lean.

Lean