Spectre is a ZK coprocessor for verifying Beacon chain headers via Ethereum lightclient protocol.

It implements Sync committee rotation and attestations circuits in halo2-lib; snark-verifier contracts; and perfomant Halo2-based prover.

It was audited by Veridise and currently used as one of verification methods in Sygma.