search

input-output-hk / implementation-decisions

A repository for all concrete decisions made about how to implement the formal specs
Other
5 stars 5 forks source link

Specify the crypto schemes for Praos and block headers #8

Open JaredCorduan opened 5 years ago

JaredCorduan commented 5 years ago

VRF and KES operational key certificates