PatStiles

This is the start of a rewrite of flood in Rust based off the [Latte](https://github.com/pkolaczk/latte) load testing framework for Cassandra. Currently, it supports load testing of a ethereum node with...

chore(ffi): Change sp1 bindings to be u64 aligned

3

Based on @Oppen advice this changes the length parameters from usize to u64 removing ambiguity usize has between different architectures.

Integrates halo2-kzg proof verification on aligned layer operators.

Adds FFI bindings for Halo2-IPA

(Operator): Update ffi_binding to check buffers

1

Draft pr updating the ffi bindings to handle zero size and null length inputs. @NicolasRampoldi @srosati The Halo2 bindings will need more work and updates within our fork.

feat(Verifier): Add Jolt Verifier to Aligned

1

> [!NOTE] > This PR needs to be updated before Ready 4 Review Adds the Jolt verifier to aligned based on modifications made to the jolt-sdk.

Adds support for proving programs for the Nexus VM on aligned

Adds verifier for Axiom's fork of Halo2.

feat(aggregator): add check for Tx inclusion for Aggregated Responses in case of Re-orgs

2

After a successful tx is sent by the aggregator to the contract check the aggregator waits 30 sec before confirming the Tx receipt is included in case of a re-org.

# Description Adds the proper tests values for pederson tests and adds accompanying sage scripts to recreate these test vectors. ## Link to issue Closes #89 ## Type of change...