Merge dd461ea into 45f4ae0

Author: asterite

noir_stdlib/src/hash/poseidon/bn254/consts.nr

@@ -5,11 +5,6 @@
 // Consistent with https://github.com/iden3/circomlib/blob/master/circuits/poseidon.circom and https://github.com/iden3/circomlib/blob/master/circuits/poseidon_constants.circom
 use crate::hash::poseidon::PoseidonConfig;
 use crate::hash::poseidon::config;
-// Number of full rounds
-// Number of partial rounds
-fn rp() -> [u8; 16] {
-    [56, 57, 56, 60, 60, 63, 64, 63, 60, 66, 60, 65, 70, 60, 64, 68]
-}
 // S-box power
 fn alpha() -> Field {
     5

noir_stdlib/src/hash/poseidon/mod.nr

@@ -1,5 +1,4 @@
 mod bn254; // Instantiations of Poseidon for prime field of the same order as BN254
-use crate::field::modulus_num_bits;
 use crate::hash::Hasher;
 use crate::default::Default;
 
@@ -166,13 +165,6 @@ fn sigma<let O: u32>(x: [Field; O]) -> [Field; O] {
     y
 }
 
-// Check security of sponge instantiation
-fn check_security(rate: Field, width: Field, security: Field) -> bool {
-    let n = modulus_num_bits();
-
-    ((n - 1) as Field * (width - rate) / 2) as u8 > security as u8
-}
-
 struct PoseidonHasher{
     _state: [Field],
 }

noir_stdlib/src/meta/mod.nr

@@ -122,6 +122,7 @@ mod tests {
         quote { 1 }
     }
 
+    #[test]
     fn returning_versus_macro_insertion() {
         comptime
         {