talks Field notes from Paris: 5 videos to explain Hyli A series of five videos in which Sylve takes you on a walk around Paris and shares Hyli's big ideas.
our infrastructure Featured Proof composability on Hylé Discover how Hylé's native proof composability simplifies cross-app transactions and saves developers time.
pipelined proving Featured An introduction to pipelined proving Learn what is Delayed Proving on Hylé, how it works, how it differs from the status quo, and why you should care.
