SP1 Forger This is a forger prover for SP1 3.4, that allows creating proofs of false statements. Made by a joint effort of: 3MILabs Aligned Layer LambdaClass