rust-ed25519-compact icon indicating copy to clipboard operation
rust-ed25519-compact copied to clipboard

Published 20 hours ago • verified publisher icon jedisct1

Formal verification report link

Open pinkforest opened this issue 1 year ago • 1 comments

Hi @jedisct1

The crate README.md says there is Formal verification -

Re: https://github.com/The-DevX-Initiative/RCIG_Coordination_Repo/blob/main/Awesome_Rust_Cryptography.md

I'm sending a PR there - do we have a link to the formal verification report we can refer to please ?

Cheers

pinkforest avatar Aug 14 '22 10:08 pinkforest

The code for field arithmetic is generated with fiat-crypto.

jedisct1 avatar Aug 14 '22 20:08 jedisct1