Taiko Nitro Verifyer

This is a verifier for the Taiko blockchain. It is a Rust implementation of the Taiko verifier that uses the Nitro enclave to leverage it's TEE for proof generation.

It's build using certificate and attestation verification from marlinprotocol/NitroProver.

Usage

Build

$ forge build

Test

$ forge test

Format

$ forge fmt

Gas Snapshots

$ forge snapshot

Deploy

$ forge script script/NitroVerifyer.s.sol:NitroVerifyerScript --rpc-url <your_rpc_url> --private-key <your_private_key>