Circom circuit to verify Sigstore merkle consistency proofs - View it on GitHub