2/ Zero-knowledge proofs have gained significant attention in the realm of cryptography and blockchain technology due to their ability to provide privacy and security for users
3/ In crypto we especially care about what is referred to as non-interactive zero knowledge proofs (NIZKPs)
I have already posted a short thread on those, in case your new to ZKPs ๐
I have already posted a short thread on those, in case your new to ZKPs ๐
7/ The trusted setup ceremony involves generating a CRS that consists of cryptographic parameters used to generate the NIZKPs used in the system and it can be difficult to find the the balance between security, efficiency and the size of the CRS
8/ In recent years, zkSNARK technology has been adopted by several projects such as:
9/ @MinaProtocol is a decentralized network that utilizes cryptographic proofs instead of a traditional blockchain. These proof is easily verifiable and consistently sized, leading to a significant reduction in the amount of data that each user must download.
10/ Sounds familiar? You're right.
Instead of requiring participants to verify the entire blockchain from the beginning of time, $MINA uses zk-SNARKs to fully verify the network & transactions
Instead of requiring participants to verify the entire blockchain from the beginning of time, $MINA uses zk-SNARKs to fully verify the network & transactions
11/ As a result, nodes are able to store the small proof rather than the entire chain, allowing for greater scalability and accessibility (e.g. for running nodes / verifying chain)
12/ The consistent size of the proof (22kb) also ensures that @MinaProtocol remains accessible even as it accommodates a growing number of users and accumulates a large volume of transaction data
13/ $MINA offers a number of powerful features, including zero knowledge-powered smart contracts (zkApps). These smart contracts are Turing complete, meaning they have the ability to execute any computation that can be performed by a classical computer.
14/ Additionally, the native zero knowledge capability of these contracts allows for enhanced privacy and off-chain computation capabilities
15/ One powerful aspect of $MINA #zkApps is the ability to develop them using the Typescript-based SnarkyJS library. This increases the accessibility to a wider pool of developers, as it eliminates the requirement to learn a new programming language in order to start building
16/ Another exciting example of an L1 using zkSNARKs for privacy & compression is @DuskFoundation, which I already covered in the thread linked below ๐
$DUSK
$DUSK
18/ Finally, @MantaNetwork is definitely also worth mentioning. An app-specific $DOT parachain built on substrate and powered by zkSNARKs that aims becoming the privacy hub of the #Polkadot ecosystem and enabling privacy for all #parachain assets
more ๐
more ๐
19/ A thread on #zkEVM rollups is linked below ๐
20/ But now we've covered SNARKs, wtf are STARKs?
#STARK proofs are another form of zero-knowledge proofs. They were pioneered by @StarkWareLtd and are for example used by the zk-rollup #Starknet
#STARK proofs are another form of zero-knowledge proofs. They were pioneered by @StarkWareLtd and are for example used by the zk-rollup #Starknet
21/ A #Starknet deep-dive can be found here ๐
22/ What makes #STARK proofs interesting you ask?
Well, STARKs offer a number of benefits, the main one being the elimination of the need for a trusted setup
Well, STARKs offer a number of benefits, the main one being the elimination of the need for a trusted setup
23/ However, both SNARKs & STARKs come with some limitations & trade-offs. While the former require a trusted setup, it is primarily the computational overhead required to generate & verify proofs that can limit the use of STARKs
25/ I'm convinced #zk will be the next bullrun narrative and next week I will cover a number of zk projects in more depth, including @RAILGUN_Project that has been requested multiple times
any other wishes? ๐
any other wishes? ๐
26/ In any case, stay tuned for more on privacy-preserving technologies that will shape the future of crypto! ๐งโโ๏ธโจ
If you liked this thread, please support by retweeting the first tweet (linked below) ๐
If you liked this thread, please support by retweeting the first tweet (linked below) ๐
Loading suggestions...