Many next-generation L1s focus on scalability. But are they missing the point? In fact, scalability is only half the story. Privacy is also essential for a real economy. Using #zeroknowledge proofs, @AleoHQ is the only next-gen L1 that guarantees *both* privacy and scale
1/
Why even focus on privacy? The reality is, the entire financial system today is private b/n interacting parties. By sending someone a bank wire, you don't see their account balance. Signing a contract doesn't mean you learn about other contracts your counter-party also signed
2/
Using #zeroknowledge proofs, @AleoHQ enables a paradigm of privacy-by-default. But the developer and/or user of an app can decide what they share w/ who and when. Not only does this protect consumers, it enables compliance to be built right into the logic of the application.
3/
For example, a regulated stablecoin could be issued on @AleoHQ that works just like cash, but the issuing authority could ensure that no one can interact w/ a sanctioning party and that appropriate compliance measures are followed.
4/
Ignoring user privacy on #Web3 platforms is anti-consumer, because consumers can suffer very real harm when they lose control of their data. It's bad enough in Web 2, but the persistent nature of data on blockchains makes the problem much worse.
Many people assume existing Layer-1 protocols can be adapted to support private smart contracts for use cases like identity, digital cash, and machine learning. But the truth is more complicated. 🧵👇
1/
$ETH iterated on the $BTC protocol that in turn built on a rich intellectual history of previous attempts to create systems of digital value. In order to do scalable private smart contracts with minimal trust assumptions, you need to redesign the system from the bottom-up. |
2/
It’s not enough to just “use ZK”. You need to have a blazing fast proof system that allows for delegatable privacy preserving proof construction. You need to have a formally verified ZK compiler for arbitrary computation.
3/
🌘 Zero-knowledge proofs are often thought of as a way to conceal information. That's true. But they also have another property that turns out to be very useful for scaling decentralized networks: *succinctness*. 🧵
2/ First, let's review some of the different classes of zero-knowledge proofs 📜:
3/ A SNARK is also called a zkSNARK if it has the property of "zero-knowledge," which states that the proof shouldn't reveal anything other than whether or not the statement is true. 🙈
2/ We @AleoHQ are passionate about educating developers about ZKPs and how to build with them. We believe this tech will play a very important role in the future to power both traditional web applications and in the fast-growing digital economy enabled by crypto.💸💸
3/ What is @__zkhack__ ? It's a six-week virtual event that combines developer workshops with hands-on learning and solving challenges. It's an opportunity to learn about zero-knowledge proofs in a fun, applied way. 🖥️⌨️
Today, the Aleo team is proud to announce our $28M raise from industry-leading investors to build the first platform for fully private and decentralized applications. We’re thrilled to work with our lead Series A investor @a16z and other first-class supporters.
Aleo uses decentralized systems and zero-knowledge cryptography to build a user experience on the web that is both truly personal and truly private. For an overview of Aleo check out our blog post 👇(3/6). aleo.org/post/aleo-rais…