Merge branch 'main' of https://github.com/noir-lang/eth-proofs into jl/new_compile

Author: jialinli98

ethereum/circuits/lib/Nargo.toml

@@ -5,5 +5,4 @@ authors = ["Arkadiusz Konior, Marek Kirejczyk"]
 compiler_version = ">=0.30.0"
 
 [dependencies]
-bignum = { tag = "v0.8.2", git = "https://github.com/noir-lang/noir-bignum" }
 keccak256 = {tag = "v0.1.1", git = "https://github.com/noir-lang/keccak256" }

vlayer/ethereum/circuits/lib/Nargo.toml

@@ -5,5 +5,4 @@ compiler_version = ">=0.30.0"
 
 [dependencies]
 ethereum = { path = "../../../../ethereum/circuits/lib" }
-bignum = { tag = "v0.8.2", git = "https://github.com/noir-lang/noir-bignum" }
 keccak256 = {tag = "v0.1.1", git = "https://github.com/noir-lang/keccak256" }

vlayer/ethereum/circuits/lib/src/slot_test.nr

@@ -61,11 +61,11 @@ mod mapping {
 mod dynamic_array {
     use crate::slot::dynamic_array;
     use dep::ethereum::misc::{bytes32::field_to_bytes32, bytes32_test::MAX_FIELD_VALUE};
-    use bignum::U256;
+    use dep::ethereum::uint256::U256;
 
     #[test]
     fn index_zero() {
-        let slot = U256::from(2);
+        let slot = U256::from_field(2);
         let expected_slot = U256::from([
             0x40, 0x57, 0x87, 0xfa, 0x12, 0xa8, 0x23, 0xe0, 0xf2, 0xb7, 0x63, 0x1c, 0xc4, 0x1b,
             0x3b, 0xa8, 0x82, 0x8b, 0x33, 0x21, 0xca, 0x81, 0x11, 0x11, 0xfa, 0x75, 0xcd, 0x3a,