Hylé pfp

Hylé

@hyle-org

34 Following
190 Followers
Hylé pfp
Hylé
@hyle-org
🚅 Did you know Hylé has a 𝐠𝐫𝐚𝐧𝐭𝐬 𝐩𝐫𝐨𝐠𝐫𝐚𝐦? If you want to build the future of programmable cryptography and trust infrastructure, we want to support you! ⚙️𝐇𝐨𝐰 𝐇𝐲𝐥𝐞 𝐠𝐫𝐚𝐧𝐭𝐬 𝐰𝐨𝐫𝐤 1. You apply with an original idea or an idea from our list 2. We fund your project with some money upfront so that you can build without financial worries and the rest upon completion 3. We help you showcase your work through public speaking opportunities 💕 As a grantee, you will 𝐫𝐞𝐜𝐞𝐢𝐯𝐞 𝐬𝐮𝐩𝐩𝐨𝐫𝐭 from: • Our CEO to refine your ideas • Our tech team to help you build • Our business team to showcase your work • The Hylé Builders Telegram group to share ideas and solutions Learn more: https://github.com/Hyle-org/hyle/blob/main/GRANTS.md Ask questions: https://t.me/hyle_org
0 reply
0 recast
0 reaction
Hylé pfp
Hylé
@hyle-org
🎙Episode 2 of the Hylé podcast is live, this time with our friend Kitty from Rarimo, a ZK protocol that allows for tamper-proof polling, saving democracy, and also having lots of fun! Topics we cover include: ☝️The problem with third-party identity attesters 🔥 Resisting authoritarian regimes 🌊 Liquid democracy 🌻 « Frivolous » apps and why they matter Time to find out about cool real-life use cases for ZK 👀 Watch the video and/or read the highlights on our blog! https://blog.hyle.eu/podcast-2-kitty-rarimo/
0 reply
0 recast
1 reaction
Hylé pfp
Hylé
@hyle-org
Our vision: all applications will use zk, and existing blockchains won't cut it. That's why we built Hylé. 14 years ago, Nakamoto thought that "If a solution was found [to implement zero-knowledge proofs], a much better, easier, more convenient implementation of Bitcoin would be possible." We've been building this for a few months. Hylé is the only blockchain built from 1st principles for the post zk-world. We do fewer things, and this enables us to do more: 1. Enshrined zk-settlement. 2. Focus on sequencing, DA, and settlement. 3. Simply scalable.
1 reply
0 recast
1 reaction
Hylé pfp
Hylé
@hyle-org
A cool podcast episode with real bits of Noir / RISC Zero, Circom / zkEmail, and proof composability!
0 reply
0 recast
0 reaction
Hylé pfp
Hylé
@hyle-org
The Hylé podcast is OUT!🎙️ In this first episode, our host @asteure.eth talks with Matteo, who completed a Hylé grant. He built a play-by-email provable games engine leveraging @zkemail + RISC Zero for proof generation and Hylé for proof composition & settlement. Topics we cover include: ♟️ zkChess and provable game engines 🔮 The potential of provable apps ⛰️ RISC Zero & zkEmail ✅ Native proof composability on Hylé 🕵️ Witness encryption 📽️ Watch on YouTube: https://youtube.com/watch?v=QZjBa_WTvc8 🐦 Watch on Twitter: https://x.com/hyle_org/status/1849435683233976492 📖 Or read the highlights: https://blog.hyle.eu/podcast-1-matteo-zkchess/
0 reply
1 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
2 replies
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
Hylé is happy to be one of the founding members of the zkBoost Consortium, which is working to simplify zero-knowledge proof generation for developers! We're building a unified API for outsourcing proof generation. With zkBoost, developers can focus on building provable apps without worrying about the underlying infrastructure. The API streamlines proof generation & compatibility. The Consortium is credibly neutral, meaning developers can pick the most efficient scheme without conflicts of interest. It’s all about making provable apps easy! Read more: https://blog.hyle.eu/news/hyle-joins-the-zkboost-consortium/
0 reply
0 recast
6 reactions
Hylé pfp
Hylé
@hyle-org
Dive into the world of provable apps. Discover what they are at https://blog.hyle.eu/opinion/what-is-a-provable-app/
0 reply
0 recast
3 reactions
Hylé pfp
Hylé
@hyle-org
Trust infrastructure begins with proper identity management. And that's where zk accounts come into play!
0 reply
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
If you'd like to meet us in Lisbon for zkSummit12, your best bet is our fancy Petit Déjeuner on Wednesday! Sign up, sign up! https://lu.ma/2sky0lmx
0 reply
0 recast
3 reactions
Hylé pfp
Hylé
@hyle-org
0 reply
0 recast
1 reaction
Hylé pfp
Hylé
@hyle-org
0 reply
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
In April 2023, @sylve wrote on his blog that « Wallets must be invisible.» Now, he says that « Smart wallets must be provable.» Wallets are the core of blockchain software. Your address is your identity, where you receive funds, and what you transact with. Smart wallets and account abstraction are handy features that are being used to their full potential. But they're still far from ubiquitous or even standardized. An extension of the smart wallet/account abstraction paradigm is using ZKPs for wallets. These are called ZK accounts: execution of the account logic is proved offchain and verified onchain. Accounts basically become zk-rollups. Hylé ships zk accounts natively, and with delayed proving you don't even need to think about proofs! Read more about zk accounts, the future of account abstraction, and how Hylé supports all: https://blog.hyle.eu/opinion/smart-wallets-must-be-provable/
0 reply
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
team lunch @ hylé!
2 replies
0 recast
6 reactions
Hylé pfp
Hylé
@hyle-org
We all want to execute offchain and verify onchain. But have you thought about transaction concurrency? Here's how we're solving it on Hylé, one delayed proof at a time! Our blog post: https://blog.hyle.eu/opinion/an-introduction-to-delayed-proving/ Let's take an ERC20 running as a provable app. Bob wants to send 2 tokens to Alice. Execution happens offchain, and so does proof generation. What the blockchain receives is the new state of the ERC20 application and the proof of the state transition - and verifies it. But what happens if Bob and Alice both transact at the same time? Two proofs created from the same state will conflict: the 2nd proof should be based on the final state of the 1st proof… But this information is not available yet! 2nd tx will have to be proved again.
1 reply
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
0 reply
1 recast
3 reactions
Hylé pfp
Hylé
@hyle-org
What's your favorite use case (existing or wish) for ZK technology? Just trying to figure out what we should talk about next on the blog 👀
3 replies
1 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
What's your favorite use case for ZK technology? Just trying to figure out what we should talk about next on the blog 👀
0 reply
0 recast
2 reactions
Hylé pfp
Hylé
@hyle-org
You know zkApps, but do you know provable apps, their parent category?
0 reply
0 recast
1 reaction
Hylé pfp
Hylé
@hyle-org
Have you heard of provable apps? They're a broad category that includes the more well-known zkApps, apps that run off-chain but verify their logic on-chain. You can read our tldr below or check out our latest blog post: https://blog.hyle.eu/opinion/what-is-a-provable-app/
0 reply
1 recast
4 reactions