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

133 Tweet

550 Followers

516 Following

Piotr Sankowski (@piotrsankowski) 's Twitter Profile Photo

Jednak ta mapka okazała się prawdą! A my w Polsce nie powinniśmy myśleć o jakiś globalnych zastosowaniach AI. Na podstawie decyzji administracji prezydenta Bidena, Polska jest objęta restrykcjami w imporcie najnowszych chipów NVIDIA. Ostateczny dokument jest dostępny tutaj:

Jednak ta mapka okazała się prawdą! A my w Polsce nie powinniśmy myśleć o jakiś globalnych zastosowaniach AI.

Na podstawie decyzji administracji prezydenta Bidena, Polska jest objęta restrykcjami w imporcie najnowszych chipów NVIDIA. Ostateczny dokument jest dostępny tutaj:
ZK Hack (@__zkhack__) 's Twitter Profile Photo

Abhiram Kothapalli Srinath Setty Ioanna Tzialla Nico Benedikt Bünz ☕️ Binyi Chen Albert Garreta | Hiring | Nethermind Dan Boneh Liam Eagen Ariel Gabizon In ZK Whiteboard Sessions S2M6, Albert Garreta | Hiring | Nethermind & host Nico gave a refresher on folding and dove into Hypernova – don't miss the study group session dedicated to this module this coming Thursday Jan 23 on ZK Hack Discord (link in bio)! youtube.com/watch?v=4alOna…

DanielC (@_d4nie1_) 's Twitter Profile Photo

Just received this—Nethermind has been ranked 8th globally among remote work-friendly companies. Feeling both surprised and proud! 💪☺️

Just received this—Nethermind has been ranked 8th globally among remote work-friendly companies. Feeling both surprised and proud! 💪☺️
RISC Zero (@risczero) 's Twitter Profile Photo

At RISC Zero, security always comes first. The Formal Verification team at Nethermind Security has developed a framework to formally verify our Zirgen‑based ZK‑circuits using Lean.

At RISC Zero, security always comes first. 

The Formal Verification team at <a href="/NethermindSec/">Nethermind Security</a> has developed a framework to formally verify our Zirgen‑based ZK‑circuits using <a href="/leanprover/">Lean</a>.
Michał Zając | Nethermind (@mpfzajac) 's Twitter Profile Photo

That’s amazing news for Ethereum ! I have been working with to Tomasz for 3 years now. He is one of the most hard working, eager to learn and competent person I know. EF is in good hands.

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

Come meet Nethermind’s research and security teams. Albert Garreta | Hiring | Nethermind will talk about two recent results from the Research team: Oval - a new post quantum secure folding scheme, an improvement of Latticefold and Nethermind’s implementation of Dan Boneh and Binyi Chen Latticefold.

Boundless (@boundless_xyz) 's Twitter Profile Photo

Introducing The Boundless Protocol Designed to scale ZK-powered verifiable compute for every chain. Making it more efficient, reliable and accessible.

Introducing The Boundless Protocol

Designed to scale ZK-powered verifiable compute for every chain. Making it more efficient, reliable and accessible.
Crypto Diva 🔮 (@mdoorfard) 's Twitter Profile Photo

A recently published whitepaper by Nethermind & Deutsche Bank bridges #Blockchain’s #Decentralization ethos with the regulated industry’s need for clarity in addressing shared challenges. Download the report here: nethermind.io/blog/from-wall…

A recently published whitepaper by <a href="/NethermindEth/">Nethermind</a> &amp; <a href="/DeutscheBank/">Deutsche Bank</a> bridges #Blockchain’s #Decentralization ethos with the regulated industry’s need for clarity in addressing shared challenges. Download the report here: nethermind.io/blog/from-wall…
Albert Garreta | Hiring | Nethermind (@0xalbertg) 's Twitter Profile Photo

Zinc accepted at Crypto 2025! See you all at the venue! Upcoming from us: implementation, detailed performance benchmarks, and concrete costs of Zinc. Sneak peak: commit + proving an evaluation of a 16 variable polynomial --> With our commitment scheme for integer/rational

Zinc accepted at Crypto 2025! See you all at the venue!

Upcoming from us: implementation, detailed performance benchmarks, and concrete costs of Zinc.

Sneak peak: commit + proving an evaluation of a 16 variable polynomial --&gt; With our commitment scheme for integer/rational
Arbitrum (@arbitrum) 's Twitter Profile Photo

As we scale the network to handle global demand, node operators must be able to grow with us to sustain Arbitrum Everywhere. Nethermind and erigon.eth will officially be supporting Arbitrum chains. Learn more 👇

As we scale the network to handle global demand, node operators must be able to grow with us to sustain Arbitrum Everywhere.

<a href="/NethermindEth/">Nethermind</a> and <a href="/ErigonEth/">erigon.eth</a> will officially be supporting Arbitrum chains.

Learn more 👇
House of ZK (@houseofzk) 's Twitter Profile Photo

As zkVMs inch toward standardization and real-time proving, core questions emerge: - Who governs verifier upgrades? - What breaks if consensus assumptions shift? - How adaptable is Ethereum’s base layer? Our fourth Ethproofs Summit panel tackles the hard edges of zkVM