Overview

Overview

This directory contains crates for ZK programs using SP1.

• ev-batch-exec SP1 program to prove a batch of blocks with minimal overhead from spawning instances.
• ev-hyperlane SP1 program to prove hyperlane messages against an incremental tree root.