Hylé is a specialized layer for zero-knowledge proof verification. We provide cheap, fast and softer finality than ETH settlement thanks to running native verifier code as part of consensus.