search

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project
MIT License
3 stars 2 forks source link

add CSPRNG dependency info #131

Closed marsella closed 2 years ago

marsella commented 2 years ago

Per title. Adds details about RNGs in code and tests.

Addresses #49 but doesn't finish it.