Daniel Lubarov

Daniel Lubarov

4,847 Twitter followers

Follow

Working on Plonky2, Plonky3, and our zkEVM at @0xPolygonZero 💜

Posts

The Valida ISA Formal Spec (PDF ⬇️) This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an unambiguous definition of the semantics of Valida programs and may be used as a starting point for formalization efforts.

Google introduced a way to prove your age with your google wallet using Zero-Knowledge Proofs (ZKP) (blog.google/products/google-pa...…). This work was pioneered by Matteo Frigo and abhi shelat (eprint.iacr.org/2024/2010) and uses a clever combination of Ligero (designed by founders of

Anonymous credentials from ECDSA

Anonymous digital credentials allow a user to prove possession of an attribute that has been asserted by an identity issuer without revealing any extra information about themselves. For example, a...

Big news today! This has been in the works for a few months now, but in many ways it is a culmination of what I worked on in crypto for the last 7 years. So, a not so quick 🧵on how it started and where it is going 👇

Introducing Miden, the Edge Blockchain. Today, we announce our $25 million seed fundraise and spinout from @0xPolygon.

Fluent has raised $8M to build the first blended execution network and bring expressivity to blockchains. We believe devs should be able to use whatever VMs, programming languages and tools they want and that you must bet on developer ingenuity to get 10x apps. Little story 💭 twitter.com/blendino_/status/1...

-- END --