Issues

• Specify SPHINCS in lean

  ethereum/cryptography-specs#41 · Filter by author kevaundray opened on Oct 1, 2026

• Specify XMSS in Lean

  enhancement
  ethereum/cryptography-specs#29 · Filter by author tcoratger opened on Sep 21, 2026

• Remove the remaining native axioms from the BLAKE2s proofs

  enhancement
  ethereum/cryptography-specs#28 · Filter by author tcoratger opened on Sep 21, 2026

• Prove the size of the target-sum code

  enhancementhelp wanted
  ethereum/cryptography-specs#27 · Filter by author tcoratger opened on Sep 21, 2026

• Prove that the tweak encoding is injective

  enhancement
  ethereum/cryptography-specs#26 · Filter by author tcoratger opened on Sep 21, 2026

• Add XMSS test vectors

  enhancement
  ethereum/cryptography-specs#25 · Filter by author tcoratger opened on Sep 21, 2026

• Add the C exports and the Python bindings

  enhancement
  ethereum/cryptography-specs#24 · Filter by author tcoratger opened on Sep 21, 2026

• Prove that the SSZ encodings round-trip

  enhancement
  ethereum/cryptography-specs#23 · Filter by author tcoratger opened on Sep 21, 2026

• Add SSZ encoding for the public key and the signature

  enhancementgood first issue
  ethereum/cryptography-specs#22 · Filter by author tcoratger opened on Sep 21, 2026

• Prove that signing then verifying accepts

  enhancement
  ethereum/cryptography-specs#21 · Filter by author tcoratger opened on Sep 21, 2026

• Add key generation and signing

  enhancement
  ethereum/cryptography-specs#20 · Filter by author tcoratger opened on Sep 21, 2026

• Add CI that builds the library and the proofs

  enhancementgood first issue
  ethereum/cryptography-specs#11 · Filter by author tcoratger opened on Sep 21, 2026

• Prove consistency of TrustedSetupData

  ethereum/cryptography-specs#7 · Filter by author b-wagn opened on Jul 21, 2026

• Find a good way to document proofs

  ethereum/cryptography-specs#6 · Filter by author b-wagn opened on Jul 16, 2026