When I integrate Noir into my Rust, how do I ensure that I am using the right cryptographic functions that Noir uses in Rust? How

wu-s-john · March 22, 2025, 12:32am

So, right now, I am programming a Solana program right now. So, I need to program my code in Rust. I am basically trying to construct a membership proof using Merkle Trees. Namely, I am using BabyJubJub as my scalar field, pedersen hash function as my hash function for leaves in the merkle tree and mimc as the hashing function for inner nodes of the tree.

I am essentially using crypto primitives from Arkworks. From my experience, I notice using cryptographic functions across different libraries, like Pedersen Hash, for Arkworks and other libraries like Circom do not output the exact same values. So, I’m a bit afraid that the Arkworks functions I use would not generate compatible witnessees to my Noir circuits.

That being said, rather than using Arkworks, I would rather use Rust apis that uses the Noir’s cryptographic primitives. Does Noir offer this out of the box easily?

oleh · March 23, 2025, 10:27pm

try this function

github.com/noir-lang/noir

acvm-repo/bn254_blackbox_solver/src/poseidon2.rs

cd33c5edd


      
                  }
                  Ok(state.into())
              }
          }
          
          /// Performs a poseidon hash with a sponge construction equivalent to the one in poseidon2.nr
          ///
          /// The `is_variable_length` parameter is there to so we can produce an equivalent hash with
          /// the Barretenberg implementation which distinguishes between variable and fixed length inputs.
          /// Set it to true if the input length matches the static size expected by the Noir function.
          pub fn poseidon_hash(
              inputs: &[FieldElement],
              is_variable_length: bool,
          ) -> Result<FieldElement, BlackBoxResolutionError> {
              let two_pow_64 = 18446744073709551616_u128.into();
              let iv = FieldElement::from(inputs.len()) * two_pow_64;
              let mut sponge = Poseidon2Sponge::new(iv, 3);
              for input in inputs.iter() {
                  sponge.absorb(*input)?;
              }
              if is_variable_length {

you should be able to install it from github(crates.io version is outdated).

Topic		Replies	Views
Is there a way to run a noir crypto primitives and functions in Rust without proofs? How do I construct witnesses for my proof easily Noir	0	15	March 21, 2025
How to use pedersen hash/commitment? Noir noir	2	914	July 26, 2024
Can't verify with pedersen? General noir	0	804	June 12, 2023
Hash verify between JS and noir-lang circuit Noir	2	785	November 22, 2023
Safecat: a CLI tool to for digital signatures using Baby Jubjub Elliptic and Poseidon Noir	2	481	February 27, 2024

When I integrate Noir into my Rust, how do I ensure that I am using the right cryptographic functions that Noir uses in Rust? How

Related topics