talks

Sylve on borders, truth, and hardness with House of ZK

Sylve was again invited to the House of ZK podcast to chat with Alice Liu, education lead at ZKM, and Ming Guo, chief scientist at ZKM. They discussed trustlessness, borders on the Internet, and what ZK brings to our shared cultures and relationships. Watch the video or read our highlights

[Podcast #5] Vivek on Cursive and making cryptography accessible

On the Hylé podcast, we talk about cool applications that leverage cryptography in general and zero-knowledge technology in particular, with a new guest for every episode. Vivek is a co-founder at Cursive, a team at the forefront of crypto education and design. If you prefer the written format, you can

monthly

January 2025 @ Hylé

Starting now, we’ll post monthly highlights on our blog. January 2025 was a blast, with a bunch of news product-wise and for the company as a whole! Let’s dive in!

demo

Introducing Hyleoof, a trustless and non-custodial zkAMM demo

Automated Market Makers (AMMs) are at the core of DeFi. These tools, which power token swaps and liquidity provisions, can seem straightforward, but building them is a real challenge! We wanted to create a demo that would be immediately useful, so we decided to build Hyleoof, a zkAMM for Hylé.

gaming

[Podcast #4] David on Playmint and onchain games, Part 2

On the Hylé podcast, we talk about cool applications that leverage cryptography in general and zero-knowledge technology in particular, with a new guest for every episode. David is the co-founder and CEO at Playmint, a team that builds decentralized games and recently introduced the concept of playerchains to make onchain

devcon2024

An architecture for decentralized games

At DevCon 2024’s New Games. New Worlds, we presented an architecture for decentralized games and encouraged onchain gaming companies to stop worrying and start proving (but not right now). You can watch the video or read the highlights below! Today, we’re going to say something that you usually

grants

Rute's Proof of Residency with Hylé and SP1

Hylé’s grantee Rute has built a proof of residency app using signed PDFs from official Portuguese service providers.

devcon2024

Will ZK be bigger than blockchain?

At DevCon 2024’s ZK Hub, Sylve took part in a panel named: « Will ZK be bigger than blockchain? ». He spoke alongside Aayush Gupta at zkEmail, Neil Han at Reddio, and Ming Guo at ZKM, moderated by Sebastian Rodriguez from Privado. You can watch the video or read Sylve’s

News

2024 in review

Hylé is heading into its first New Year celebration. We wanted to take a minute to reflect on everything that has happened to us since we started the project in early 2024.

pipelined proving

Pipelined proving and practical ZK proofs for provable apps

At DevCon 2024’s ZK Hub, Lancelot spoke about pipelined proving and practical ZK proofs for provable applications. Watch the video or read the highlights below! We’re going to talk about the fact that rollups are good… but we can do better. Rollups are good. Let’s quickly go

gaming

[Podcast #3] David on Playmint and onchain games

On the Hylé podcast, we talk about cool applications that leverage cryptography in general and zero-knowledge technology in particular, with a new guest for every episode. David is the co-founder and CEO at Playmint, a team that builds decentralized games and recently introduced the concept of playerchains to make onchain

zkp

The future of accelerated proving

At DevCon 2024’s Proof Summit, Sylve took part in a panel about the future of accelerated proving systems alongside Jens Groth at Nexus and François Garillot at Argument, moderated by Lagrange’s Ismael Hishon-Rezaizadeh. You can watch the video or read Sylve’s highlights below! What do you look

proof composability

All rollups are apps, all apps are rollups

At DevCon 2024’s ZK Accelerate, Sylve spoke about how all rollups are apps, all apps are rollups. You can watch the video or read the highlights below! All apps are rollups Creating an onchain game It’s 2030, and you want to build an onchain game. You want low

our infrastructure Featured

Proof composability on Hylé

Discover how Hylé's native proof composability simplifies cross-app transactions and saves developers time.

podcast

[Podcast #2] Kitty on Rarimo and ZK identities

On the Hylé podcast, we talk about cool applications that leverage cryptography in general and zero-knowledge technology in particular, with a new guest for every episode. Kitty works at RariLabs and is a contributor to Rarimo, a ZK identity protocol. It allows users to make not only their identities private

talks

Sylve on the House of ZK podcast

Sylve was invited to the House of ZK podcast, a podcast and media channel exploring everything ZK, from its fundamental principles to the latest advancements in the industry. There, he talked about Hylé and the future of lean blockchains! Watch the video or read our highlights below! What is preventing

talks

Sylve on Daria Strategy's podcast

Sylve was on Daria Strategy's podcast yesterday. You can watch the video or read the highlights below! The vision for Hylé is to enable everyone to benefit from the technology of provable applications, specifically zero-knowledge proofs. So, what are these? They were a very obscure research topic some

podcast

[Podcast #1] Matteo on play-by-email provable games

On the Hylé podcast, we talk about cool applications that leverage cryptography in general and zero-knowledge technology in particular, with a new guest every episode. Our guest for this first episode, Matteo, is an independent applied cryptography developer. He is also Hylé’s first grantee, and he built a play-by-email

talks

All about email proofs with vLayer, zkP2P, zkEmail and TACEO

Sylve was invited to talk about email proofs on the vlayer Twitter account, alongside: * TACEO's Ais * vLayer's Marek * zkEmail's Ayush * zkP2P's Sachin You can watch the replay of the roundtable here: Email Proofs Demystified: the No BS Debate https://t.co/74q3M2Ltq2

pipelined proving

Some like it proved: an architecture for provable apps, with Lancelot at zkSummit 12

Lancelot's talk at zkSummit 12 on what we think will be the future of dApps and smart contract development thanks to zero-knowledge proofs.

talks

[Interview] What is Hylé, with Sylve on the "GM with Siborg" X space

Missed the latest X Space hosted by SiBorg Labs, where Sylve talked about Hylé's vision and future? Our discussion is now available on YouTube. If you prefer the written format, you can find the full transcript below!

lean blockchain

On blockchains

A tangent from our upcoming whitepaper, in which we take the time to define what blockchains are.

Hylé joins the zkBoost Consortium

We’re proud to say that Hylé has joined the zkBoost Consortium to advance proof supply chain abstraction and make building provable apps more effortless than ever before. What is the zkBoost consortium? The ZkBoost consortium is a group of 34 companies (and growing!) in the zero-knowledge tech space. We’

identity abstraction

Smart wallets must be provable

Explore the concept of smart wallets on the blockchain. Understand how they can go one step further.

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.