Albert Garreta

Nethermind

@0xAlbertG

Researcher

Barcelona, Spain sites.google.com/view/agarreta Joined April 2022

358 Following 687 Followers 165 Posts

Latest posts 5

Pinned post

Albert Garreta @0xAlbertG Sep 24

Sharing 𝔹itℤ 🫜: a PCS for circuits written anywhere (in any ring/field or collection of those), using binary fields under the hood.
eprint.iacr.org/2026/2141 with @recmo, @mmkostrzewa, @shreyas_twt, @wu_s_john, @AlexAbdugafarov, @ZKFriendly, @XanderGoot

Albert Garreta @0xAlbertG Oct 1

Happy to share that BitZ just became 2.3x faster thanks to a couple new optimizations 🫜🫜🫜!

The eprint paper has been updated accordingly (see the end of Section 2.3, and the new Sections 6.2 and 6.3)

Albert Garreta Verified account @0xAlbertG Sep 24

Sharing 𝔹itℤ 🫜: a PCS for circuits written anywhere (in any ring/field or collection of those), using binary fields under the hood.
eprint.iacr.org/2026/2141 with @recmo, @mmkostrzewa, @shreyas_twt, @wu_s_john, @AlexAbdugafarov, @ZKFriendly, @XanderGoot

View quoted post on X

Albert Garreta @0xAlbertG May 6

With amazing coauthors @AlexAbdugafarov, @therunningmyle, @mosdnk, Psi Vesely (psivesely.com), @fastreedsolomon, @kaizhengcs !

psivesely.com Psi Vesely Cryptography researcher focused on efficient proof systems for private and verifiable computation.

Albert Garreta Verified account @0xAlbertG May 6

Introducing Zinc+, where we tackle the problem of arithmetizing and proving computations unfriendly to finite fields.

Examples: classic hashes, hash + signature, lattice ops., etc.

We prove 7 SHA-256 compressions followed by the ECDSA MSM with:

View quoted post on X

Albert Garreta @0xAlbertG May 6

Introducing Zinc+, where we tackle the problem of arithmetizing and proving computations unfriendly to finite fields.

Examples: classic hashes, hash + signature, lattice ops., etc.

We prove 7 SHA-256 compressions followed by the ECDSA MSM with:

Albert Garreta @0xAlbertG Oct 31, 2025

Happy to publish this simple explanation of FRI's security (taking mutual correlated agreement as black box), with fantastic collaborators @nico_mnbt and Benedikt Wagner.

And please do check Nico's superb blogpost for a simple explanation of the proof!

Nico @nico_mnbl Oct 30, 2025

Just published a simpler proof of the RBR soundness of FRI! Work with @0xAlbertG and Benedikt Wagner

I also wrote a blog post explaining the high level ideas of the proof. All you need to know is how to colour a graph!

Links to paper and blog below

1/3

View quoted post on X