A proxy for light client verification executed in TEE. - View it on GitHub