Hylé

@hyle-org

35 Following

210 Followers

Hylé pfp

Our fantastic grantee @rutefig built a proof of residency app that verifies that you pay utility bills in Portugal without telling everyone your address or how much you pay for electricity. Here’s how it works: 1. Upload a utility bill PDF with an ATCud signature 2. Generate a proof on a throwaway unique server with Succinct's SP1 3. Verify the proof on Hylé You now have proof of residency without oversharing unnecessary personal details. ATCud is a unique QR code on Portuguese invoices that is validated by the tax authority. It ensures the document is signed and trustworthy, which is perfect for creating provable, private proofs of residency. https://blog.hyle.eu/rutes-proof-of-residency/

0 reply

0 recast

0 reaction

Hylé pfp

0 reply

0 recast

2 reactions

Hylé pfp

0 reply

0 recast

1 reaction

Hylé pfp

🚅 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

1 reply

0 recast

1 reaction

Hylé pfp

🎙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

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

A cool podcast episode with real bits of Noir / RISC Zero, Circom / zkEmail, and proof composability!

0 reply

0 recast

2 reactions

Hylé pfp

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

2 replies

0 recast

3 reactions

Hylé pfp

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

11 reactions

Hylé pfp

Dive into the world of provable apps. Discover what they are at https://blog.hyle.eu/opinion/what-is-a-provable-app/

0 reply

1 recast

3 reactions

Hylé pfp

Trust infrastructure begins with proper identity management. And that's where zk accounts come into play!

0 reply

0 recast

2 reactions

Hylé pfp

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

4 reactions

Hylé pfp

0 reply

1 recast

1 reaction

Hylé pfp

0 reply

0 recast

2 reactions

Hylé pfp

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

1 recast

2 reactions

Hylé pfp

team lunch @ hylé!

2 replies

0 recast

6 reactions

Hylé pfp

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

0 reply

1 recast

3 reactions

Hylé pfp

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