Michał Zając | Nethermind (@mpfzajac) 's Twitter Profile
Michał Zając | Nethermind

@mpfzajac

Zero knowledge about zero knowledge

ID: 714570234582138880

calendar_today28-03-2016 21:49:54

94 Tweet

553 Followers

405 Following

Nethermind (@nethermindeth) 's Twitter Profile Photo

Head of Nethermind Research, Michał Zając | Nethermind, delivered a talk at Encrypt London on the security loss introduced by the Fiat-Shamir transformation. Fiat-Shamir transformation makes interactive protocols non-interactive and is one of the core building blocks of SNARKs and STARKs.

ZK Hack (@__zkhack__) 's Twitter Profile Photo

We continue with our series “𝒁𝑲 𝑯𝒂𝒄𝒌 𝑲𝒓𝒂𝒌𝒐́𝒘 presents its all-stars judges”! This is our batch #3, with a last one to be unveiled in 30 minutes... Orest Tarasiuk (zkWarsaw) 0xSachinK (ZKP2P) Tiago Michał Zając | Nethermind (Nethermind)

Lin Oshitani (@linoscope) 's Twitter Profile Photo

We posted a write-up that outlines the challenges of based preconfirmations by analyzing a simple "strawman" setup! ethresear.ch/t/strawmanning…

Conor McMenamin (@conormcmenamin9) 's Twitter Profile Photo

🔥Enter the Sauna: An egalitarian place where preconfirmers register for selection by proposers. Proposers delegate to preconfirmers based on combos of trust, reputation, and revenue, fostering a robust and reliable preconfirmation process. Article link and 🧵👇

🔥Enter the Sauna: An egalitarian place where preconfirmers register for selection by proposers. Proposers delegate to preconfirmers based on combos of trust, reputation, and revenue, fostering a robust and reliable preconfirmation process. Article link and 🧵👇
StarkWare 🐺🐱 (@starkwareltd) 's Twitter Profile Photo

Our new prover Stwo just blew our mind 🔥 Here's a demo by Shahar Papini and Eli Ben-Sasson of our next-gen prover, Stwo, and its groundbreaking performance: proving 620,000 hashes per second using an M3 laptop! This is x1000 better than our current prover, Stone, and is the

Nethermind (@nethermindeth) 's Twitter Profile Photo

Introducing Clear: the complete framework for interactive theorem proving in web3. A formal verification tool for Solidity smart contracts that expresses any on-paper verification into mechanized proofs. 🖇 medium.com/nethermind-eth…

Introducing Clear: the complete framework for interactive theorem proving in web3.

A formal verification tool for <a href="/solidity_lang/">Solidity</a> smart contracts that expresses any on-paper verification into mechanized proofs.

🖇 medium.com/nethermind-eth…
Nethermind (@nethermindeth) 's Twitter Profile Photo

🚀 New publication from Nethermind Research Discover Mova, a folding scheme that modifies Nova to remove certain critically expensive steps. As a result, Mova is much faster than Nova and requires only 3 rounds of communication. Check out all the details below, and stay tuned

🚀 New publication from Nethermind Research

Discover Mova, a folding scheme that modifies Nova to remove certain critically expensive steps. As a result, Mova is much faster than Nova and requires only 3 rounds of communication. 

Check out all the details below, and stay tuned
ETHGlobal (@ethglobal) 's Twitter Profile Photo

Then, Michał Zając | Nethermind discusses the race to miniaturize SNARKs, making them accessible across all devices. Explore the future of ubiquitous cryptographic proofs in our daily tech. ⏰ 1:30-2:00PM ET

Then, <a href="/mpfzajac/">Michał Zając | Nethermind</a> discusses the race to miniaturize SNARKs, making them accessible across all devices. Explore the future of ubiquitous cryptographic proofs in our daily tech.

⏰ 1:30-2:00PM ET