ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol - View it on GitHub