Point of Contact: BarryDecentralised/Verifiable AWSFPGA for CPUs that can keep up with the main thread’s compute and generate a streaming IVC proof
