update syntax

Author: olehmisar

packages/contracts/noir/common/Nargo.toml

@@ -6,5 +6,5 @@ compiler_version = ">=0.39.0"
 
 [dependencies]
 protocol_types = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "aztec-packages-v0.72.1", directory = "noir-projects/noir-protocol-circuits/crates/types" }
-bignum = { tag = "v0.4.2", git = "https://github.com/noir-lang/noir-bignum/" }
-nodash = { tag = "v0.39.4", git = "https://github.com/olehmisar/nodash/" }
+bignum = { tag = "v0.6.0", git = "https://github.com/noir-lang/noir-bignum/" }
+nodash = { tag = "v0.40.0", git = "https://github.com/olehmisar/nodash/" }

packages/contracts/noir/common/src/erc20_note.nr

@@ -1,5 +1,9 @@
 // fails to compile if this file is moved to erc20 crate
 
+use super::note::Note;
+use nodash::ArrayExtensions;
+use protocol_types::traits::Serialize;
+
 pub struct Erc20Note {
     pub owner: crate::WaAddress,
     pub amount: crate::TokenAmount,
@@ -36,7 +40,7 @@ impl crate::Serialize<6> for Erc20Note {
             .owner
             .serialize()
             .concat(self.amount.token.serialize())
-            .concat(self.amount.amount.limbs)
+            .concat(self.amount.amount.limbs.map(|x| x.into()))
             .concat([self.randomness])
     }
 }

packages/contracts/noir/common/src/lib.nr

@@ -1,9 +1,9 @@
-use bignum::{BigNum, fields::U256::U256Params};
+use bignum::BigNumTrait;
 use protocol_types::hash::poseidon2_hash_with_separator;
 
 mod context;
 mod erc20_note;
-mod note;
+pub(crate) mod note;
 mod owned_note;
 
 pub use context::{Context, Result};
@@ -46,7 +46,7 @@ pub global GENERATOR_INDEX__NOTE_HASH: Field = 3;
 // Note: keep in sync with other languages
 pub global U256_LIMBS: u32 = 3;
 
-pub type U256 = BigNum<U256_LIMBS, 257, U256Params>;
+pub type U256 = bignum::U256;
 
 /// User address within the rollup
 #[derive(Eq, Serialize)]
@@ -74,7 +74,7 @@ pub struct TokenAmount {
 
 impl TokenAmount {
     pub fn zero(token: crate::EthAddress) -> Self {
-        Self { token, amount: U256::new() }
+        Self { token, amount: U256::zero() }
     }
 
     fn _check(self, other: Self) {

packages/contracts/noir/common/src/note.nr

@@ -3,7 +3,7 @@ use protocol_types::hash::poseidon2_hash_with_separator;
 /// A marker trait to mark structs as notes
 pub trait Note: crate::Serialize<_> {
 
-    pub fn emit(self, context: &mut crate::Context) {
+    fn emit(self, context: &mut crate::Context) {
         context.push_note_hash(crate::compute_note_hash(self));
     }
 }

packages/contracts/noir/erc20/src/lib.nr

@@ -1,6 +1,8 @@
 pub use common::erc20_note::{Erc20Note, Erc20NoteConsumptionInputs};
 
 pub mod Token {
+    use common::Note;
+
     pub fn mint(
         context: &mut common::Context,
         to: common::WaAddress,