Oyster Attestation Prover

This repo contains the prover and verifier for the Oyster attestation.

Flow

1. Attestation is fetched from TEE.
2. Run the prover to generate a proof that the attestation is valid.
3. Proof is sent to verifier contract.

To run the Flow

cd script
SP1_PROVER=cpu cargo run --bin oyster

# For CUDA
SP1_PROVER=cuda cargo run --bin oyster