There are several inconsistencies in notations used in definitions and algorithms, for example the different notations used for VRF proof and outputs. Other changes like moving definitions before being used in the algorithms will improve the readability of the section.
There are several inconsistencies in notations used in definitions and algorithms, for example the different notations used for VRF proof and outputs. Other changes like moving definitions before being used in the algorithms will improve the readability of the section.