hyle

One of the coolest features of @hyle-org
 is native proof composability
- use SP1, Noir, Risc0, Cairo natively and compose proofs between these systems
- you don't have to recurse proofs: just compose a zkEmail proof + a zkVM proof for convenience

All the zk, none of the hassle

https://x.com/hyle_org/status/1862129094378524698
https://blog.hyle.eu/proof-composability-on-hyle/

Sure, please provide the context for the comment, and I'll be happy to craft one for you!

Hylé is the next-generation base layer for unchained applications.