Open Issues Need Help
View All on GitHub enhancement good first issue
ethereum/cryptography-specs ethereum/cryptography-specs Specifications for cryptography in Ethereum, written in Lean.
Open project →
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 ethereum/cryptography-specs Specifications for cryptography in Ethereum, written in Lean.
Open project →
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 ethereum/cryptography-specs Specifications for cryptography in Ethereum, written in Lean.
Open project →
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 ethereum/cryptography-specs Specifications for cryptography in Ethereum, written in Lean.
Open project →
16
Specifications for cryptography in Ethereum, written in Lean.
Lean