Add Ethereum Execution Tests (#5)

* ecadd tests * ecmul tests * Add test utils * Add test suit generator * Remove old tests * Update tests * Fix ecadd * Fix ecmul * Handle modexp tests * Add modexp tests * Update call helper function * Fix helper function * Fix test utils * Improve ecmul precompile * Add test helper * Add python script to test double and add algorithm (#13) * Add montgomery reduction algorithm * Add Rust playground crate * Update montgomery reduction script * Add Montgomery reduction precompile * ecAdd refactor * Montgomery fix * Add montgomery inv & modexp * Fix N' * Fix REDC * Fix Montgomery modular inverse * Remove comments * Fix prints * Change to bytes comparison instead of decoded output * Patch tests with extra check for errors in ecadd and ecmul * Add EOL * Update modexp precompile * Finish optimizing ecAdd & ecMul * Implement optimized montgomery invmod * modexpGasCost * Cleanup * Last version of ecAdd, ecMul & modexp * Fix modexp tests calldata * Fix modexp tests to pass with actual vm state * Update Montgomery precompile * Add EOL --------- Co-authored-by: IAvecilla <[email protected]> Co-authored-by: Nacho Avecilla <[email protected]>
lambdaclass · Aug 17, 2023 · 5b99326 · 5b99326
1 parent 8d1d6ae
commit 5b99326
Show file tree

Hide file tree

Showing 20 changed files with 4,766 additions and 1,087 deletions.
diff --git a/playground/.gitignore b/playground/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/playground/Cargo.lock b/playground/Cargo.lock
diff --git a/playground/Cargo.toml b/playground/Cargo.toml
@@ -0,0 +1,9 @@
+[package]
+name = "playground"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+lambdaworks-math ={ git = "https://github.com/lambdaclass/lambdaworks"}
diff --git a/playground/src/main.rs b/playground/src/main.rs
@@ -0,0 +1,16 @@
+use lambdaworks_math::{field::{fields::montgomery_backed_prime_fields::{IsModulus, U256PrimeField}, element::FieldElement}, unsigned_integer::element::{U256, UnsignedInteger}};
+
+#[derive(Clone, Debug)]
+struct AltBn128Modulus;
+impl IsModulus<U256> for AltBn128Modulus {
+    const MODULUS: U256 = UnsignedInteger::from_hex_unchecked(
+        "30644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD47",
+    );
+}
+
+type AltBn128PrimeField = U256PrimeField<AltBn128Modulus>; 
+type AltBn128FieldElement = FieldElement<AltBn128PrimeField>;
+
+fn main() {
+    println!("{:?}", AltBn128FieldElement::from(3).value().to_string())
+}