Vrf Audit

primitives/Cargo.toml

@@ -53,6 +53,7 @@ bincode = "1.0"
 criterion = "0.4.0"
 hashbrown = "0.13.1"
 quickcheck = "1.0.0"
+rand_core = { version = "^0.6.0", features = ["getrandom"] }
 
 [[bench]]
 name = "merkle_path"

primitives/src/constants.rs

@@ -9,5 +9,17 @@
 /// ciphersuite identifier for schnorr signature
 pub const CS_ID_SCHNORR: &str = "SCHNORR_WITH_RESCUE_HASH_v01";
 
-/// ciphersuite identifier for BLS signature
-pub const CS_ID_BLS_SIG_NAIVE: &str = "BLS_SIG_WITH_NAIVE_HtG_v01";
+/// ciphersuite identifier for BLS signature, see:
+/// https://www.ietf.org/archive/id/draft-irtf-cfrg-bls-signature-05.html#name-ciphersuite-format
+pub const CS_ID_BLS_MIN_SIG: &str = "BLS_SIG_BLS12381G1_XMD:SHA-256_SSWU_RO_NUL_";
+
+/// Size in bytes of a secret key in our BLS signature scheme.
+pub const BLS_SIG_SK_SIZE: usize = 32;
+/// Size in bytes of a signature in our BLS signature scheme.
+pub const BLS_SIG_SIGNATURE_SIZE: usize = 96;
+/// Size in bytes of a compressed signature in our BLS signature scheme.
+pub const BLS_SIG_COMPRESSED_SIGNATURE_SIZE: usize = 48;
+/// Size in bytes of a verification key in our BLS signature scheme.
+pub const BLS_SIG_PK_SIZE: usize = 192;
+/// Size in bytes of a compressed verification key in our BLS signature scheme.
+pub const BLS_SIG_COMPRESSED_PK_SIZE: usize = 96;

primitives/src/errors.rs

@@ -8,7 +8,11 @@
 
 use crate::rescue::errors::RescueError;
 use ark_serialize::SerializationError;
-use ark_std::string::String;
+use ark_std::{
+    format,
+    string::{String, ToString},
+};
+use blst::BLST_ERROR;
 use displaydoc::Display;
 
 /// A `enum` specifying the possible failure modes of the primitives.
@@ -43,5 +47,16 @@ impl From<SerializationError> for PrimitivesError {
     }
 }
 
-#[cfg(feature = "std")]
-impl std::error::Error for PrimitivesError {}
+impl From<BLST_ERROR> for PrimitivesError {
+    fn from(e: BLST_ERROR) -> Self {
+        match e {
+            BLST_ERROR::BLST_SUCCESS => {
+                Self::InternalError("Expecting an error, but got a sucess.".to_string())
+            },
+            BLST_ERROR::BLST_VERIFY_FAIL => Self::VerificationError(format!("{:?}", e)),
+            _ => Self::ParameterError(format!("{:?}", e)),
+        }
+    }
+}
+
+impl ark_std::error::Error for PrimitivesError {}