feat: yul lagrange basis evaluation

[JayWhite2357]

Rationale for this change

In order to port the verifier to Solidity, we need to write some code in Yul.

What changes are included in this PR?

Simplified the existing Rust lagrange basis evaluation.
Added a YUL port.
Added some tooling around YUL code.

Are these changes tested?

Yes

[waelsy123]

perhaps you want to add this to your solhint: "no-inline-assembly": "off", to avoid repeatedly using // solhint-disable-next-line rule

[waelsy123]

this line isn't needed right?

[JayWhite2357]

Correct. It's needed for the sake of the linter, so it knows what the function signature is.

[waelsy123]

is there anyway to run target test without blitzer?

% cargo run --bin yul_preprocessor crates/proof-of-sql --no-default-features --features="arrow cpu-perf"
   Compiling blitzar-sys v1.83.0
error: failed to run custom build command for `blitzar-sys v1.83.0`

Caused by:
  process didn't exit successfully: `/Users/wa.sxt/sxt/sxt-proof-of-sql/target/debug/build/blitzar-sys-c9fd1875a1ff06ba/build-script-build` (exit status: 101)
  --- stderr
  thread 'main' panicked at /Users/wa.sxt/.cargo/registry/src/index.crates.io-6f17d22bba15001f/blitzar-sys-1.83.0/build.rs:14:9:
  Unsupported OS. Only Linux is supported.
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace```

[JayWhite2357]

is there anyway to run target test without blitzer?

% cargo run --bin yul_preprocessor crates/proof-of-sql --no-default-features --features="arrow cpu-perf"
   Compiling blitzar-sys v1.83.0
error: failed to run custom build command for `blitzar-sys v1.83.0`

Caused by:
  process didn't exit successfully: `/Users/wa.sxt/sxt/sxt-proof-of-sql/target/debug/build/blitzar-sys-c9fd1875a1ff06ba/build-script-build` (exit status: 101)
  --- stderr
  thread 'main' panicked at /Users/wa.sxt/.cargo/registry/src/index.crates.io-6f17d22bba15001f/blitzar-sys-1.83.0/build.rs:14:9:
  Unsupported OS. Only Linux is supported.
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace```

Try this:

cargo run --bin yul_preprocessor --no-default-features --features="arrow cpu-perf" -- crates/proof-of-sql 

[iajoiner]

I verified that the new Rust and Yul implementations do the exact same computation. It will be really great if we can add more docs to the Yul Preprocessor though.

[github-actions]

🎉 This PR is included in version 0.64.1 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀