Privacy and Scalability are very important factors in web3
Imagine a chain which achieves both of this
Yes, it exists, it’s Miden
Unlike other zkRs, Polygon Miden prioritizes privacy over evm compatibility
A thread on this innovation
Imagine a chain which achieves both of this
Yes, it exists, it’s Miden
Unlike other zkRs, Polygon Miden prioritizes privacy over evm compatibility
A thread on this innovation
Before I proceed
Follow @_SSLocket for my research work on different topics on blockchain tech
And subscribe to newsletter @ it’s pinned tweet
Follow @_SSLocket for my research work on different topics on blockchain tech
And subscribe to newsletter @ it’s pinned tweet
In this thread we’ll look at
/Polygon Miden
/It’s Architecture
/Privacy >>>
/END 🐍🐍🐍
/Polygon Miden
/It’s Architecture
/Privacy >>>
/END 🐍🐍🐍
1/ Polygon Miden
It’s a Stark based zkR aimed at privacy and all other features of a zkR
There’re two most popular technologies used for proof generation— Snarks, Starks
So Why Starks, What’s Stark?
Unlike Snark which uses elliptic curves for security making; Stark uses..
It’s a Stark based zkR aimed at privacy and all other features of a zkR
There’re two most popular technologies used for proof generation— Snarks, Starks
So Why Starks, What’s Stark?
Unlike Snark which uses elliptic curves for security making; Stark uses..
2/ ..hash function making it quantum resistant
Also, Snarks require a trusted setup to kickstart proof generation, while Starks don’t
(I.e; SNARKs require a this setup to create keys for gen & verifying proofs, but the keys must be destroyed to prevent from malicious actors)
Also, Snarks require a trusted setup to kickstart proof generation, while Starks don’t
(I.e; SNARKs require a this setup to create keys for gen & verifying proofs, but the keys must be destroyed to prevent from malicious actors)
3/ Although Stark proof size is bigger which costs more gas and takes more time for verification unlike Snark
Ser Vitalik sees it as the “newer, shiner cousin”
And s/o to all teams building with this- Starkware, now Miden and others can’t recall
Ser Vitalik sees it as the “newer, shiner cousin”
And s/o to all teams building with this- Starkware, now Miden and others can’t recall
4/ As time goes on Stark will be cheaper & faster, thanks to Stark proof recursion
But until then let’s focus on what Miden is building with Stark
ie It’s Architecture
Before i proceed, I’ll give a s/o to unsung chad @bobbinth cos without him, this tech won’t be possible
But until then let’s focus on what Miden is building with Stark
ie It’s Architecture
Before i proceed, I’ll give a s/o to unsung chad @bobbinth cos without him, this tech won’t be possible
5/ A brief history on his contribution
In 2019 Bobby developed GenStark, a stark prover but wasn’t developer friendly
In 2020, he created Distaff VM, a stark VM
Later he led the development of Winterfell at Facebook
“Winterfell is is a fully-functional, multi-threaded STARK
In 2019 Bobby developed GenStark, a stark prover but wasn’t developer friendly
In 2020, he created Distaff VM, a stark VM
Later he led the development of Winterfell at Facebook
“Winterfell is is a fully-functional, multi-threaded STARK
6/ ..prover and verifier for arbitrary computations.”
Bobby now leads Miden and his technologies are the foundational pieces for Miden — Distaff VM and Winterfell
Enough History Sweet talk, now to the Architecture
The Miden VM is the powerhouse of its architecture
Bobby now leads Miden and his technologies are the foundational pieces for Miden — Distaff VM and Winterfell
Enough History Sweet talk, now to the Architecture
The Miden VM is the powerhouse of its architecture
7/ Miden VM is simply Distaff VM and Winterfell the as backend prover
It’s a stack machine which operates with fields values ranging between 0 and 2^64 - 2^32
It consists of 3 high level components: stack, memory, and an advice provider.
It’s a stack machine which operates with fields values ranging between 0 and 2^64 - 2^32
It consists of 3 high level components: stack, memory, and an advice provider.
8/ The stack holds field elements and can grow up to 2^32 items, but only the top 16 are accessible
Memory is linear, word-addressable, and has a range of (0, 2^32)
The advice provider allows the prover to provide nondeterministic inputs through an advice stack, an ..
Memory is linear, word-addressable, and has a range of (0, 2^32)
The advice provider allows the prover to provide nondeterministic inputs through an advice stack, an ..
9/.. advice map, and a Merkle store
Transaction flow through Miden’s Architecture
All txns get sent to Miden operators
These operators bundle 5k txns into a single block and generates a stark proof
One single stark block is generated from these 200 aggregated blocks
Transaction flow through Miden’s Architecture
All txns get sent to Miden operators
These operators bundle 5k txns into a single block and generates a stark proof
One single stark block is generated from these 200 aggregated blocks
10/ Finally the single stark block is sent to ETH
Privacy
Miden offers both network and local execution of txns; ie txns in smart contracts can be executed privately or publicly
And, these txns of different states (public, private) can interact with each other
Privacy
Miden offers both network and local execution of txns; ie txns in smart contracts can be executed privately or publicly
And, these txns of different states (public, private) can interact with each other
11/ For example, Institutions looking to use Miden can make their finances hidden to competitors but public to auditors
How’s is this done?
State in Miden is captured in a database (e.g merkle tree)
This state can be public, which can be visible to everyone
How’s is this done?
State in Miden is captured in a database (e.g merkle tree)
This state can be public, which can be visible to everyone
12/ And also private, which only the individual has access to
I’m very excited for what Miden has in store for the future, but until then, we say WEN Mainnet @0xPolygonMiden
I’m very excited for what Miden has in store for the future, but until then, we say WEN Mainnet @0xPolygonMiden
Loading suggestions...