-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Specify XMSS in Lean
enhancementNew feature or requestNew feature or requestStatus: Open.#29 In ethereum/cryptography-specs;Remove the remaining native axioms from the BLAKE2s proofs
enhancementNew feature or requestNew feature or requestStatus: Open.#28 In ethereum/cryptography-specs;Prove the size of the target-sum code
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#27 In ethereum/cryptography-specs;Prove that the tweak encoding is injective
enhancementNew feature or requestNew feature or requestStatus: Open.#26 In ethereum/cryptography-specs;Add XMSS test vectors
enhancementNew feature or requestNew feature or requestStatus: Open.#25 In ethereum/cryptography-specs;Add the C exports and the Python bindings
enhancementNew feature or requestNew feature or requestStatus: Open.#24 In ethereum/cryptography-specs;Prove that the SSZ encodings round-trip
enhancementNew feature or requestNew feature or requestStatus: Open.#23 In ethereum/cryptography-specs;Add SSZ encoding for the public key and the signature
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#22 In ethereum/cryptography-specs;Prove that signing then verifying accepts
enhancementNew feature or requestNew feature or requestStatus: Open.#21 In ethereum/cryptography-specs;Add key generation and signing
enhancementNew feature or requestNew feature or requestStatus: Open.#20 In ethereum/cryptography-specs;Prove that the authentication path reaches the root
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In ethereum/cryptography-specs;Add verification
enhancementNew feature or requestNew feature or requestStatus: Open.#18 In ethereum/cryptography-specs;