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.

provable apps

What is a provable app?

Learn what provable apps are, how they work, how they compare to zkApps and why they are the future of a trustworthy Internet.

trust infrastructure

Trust Infrastructure Day 2024

A list of all the video replays from Trust Infrastructure Day 2024, organized at Hylé and Aztec on July 10, 2024 at ETHCC.

zkp

Freedom and privacy with zero-knowledge proofs

Zero-knowledge proofs allow you to decentralize execution, which gives you more freedom and privacy and makes blockchains more efficient.

vibe check

Introducing Vibe Check

Introducing Vibe Check, a zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé.

zkp

A simple introduction to zero-knowledge proofs (ZKP)

A simple introduction to zero-knowledge proofs and zk-rollups, that requires no previous understanding of cryptography or blockchain at all.

partnerships

Hylé × Sindri: the easiest way to harness zero-knowledge technology

Hylé and Sindri are partnering up to bring you a seamless and extremely simple zero-knowledge proof framework for your apps.

talks

Do we need blockchain at all?

Sylve studies a steam engine from Ancient Rome and discusses the future of zero-knowledge proofs. He asks: do we need blockchain at all?

lean blockchain

Proof verification needs to change

Zero-knowledge proofs are the future of blockchain. They enable great blockchain scalability while remaining trustless. But we're using them wrong. Today, onchain proof verification is really expensive and inefficient. It doesn't need to be that way. How verification works Let’s review how zero-knowledge proofs currently