jimpo

@jimpo

53 Following

436 Followers

jimpo pfp

My team launched our first live service today: a service that creates Merkle-Patrica Trie account inclusion proofs for Ethereum along with every block, using Binius. Currently it's still a proof-of-concept, but one day soon this approach will bring fast stateless clients to Ethereum! https://www.irreducible.com/posts/ethereum-state-proving-service

5 replies

35 recasts

222 reactions

jimpo pfp

0 reply

0 recast

0 reaction

jimpo pfp

When everyone switches to binary fields, we can call them binary proofs. I also would prefer CS proofs, for "cryptographically secure". Also harkens back to Micali's "computationally sound proofs", the first real SNARK construction. Or AX proofs for "arithmetic execution" proofs. People like ZK but Z is zesty, but AX is sexy.

0 reply

0 recast

0 reaction

jimpo pfp

https://youtu.be/HSivlaSVk1k?si=alW7TdnCD9Rm6Omm

1 reply

0 recast

0 reaction

jimpo pfp

Indeed! 5/5 stars for Star brite teak cleaner, brightener, and oil

0 reply

0 recast

0 reaction

jimpo pfp

3 replies

0 recast

9 reactions

jimpo pfp

Low Hum's new album is out! Amazing LA-based musician https://open.spotify.com/album/18Pa4VGAafO7JUcnY9ueYq?si=bmhtJQkFQLCycW17B9Fqcw

0 reply

1 recast

4 reactions

jimpo pfp

Funnest new math thing is in our new paper :-) We discovered a way of understanding a binary NTT algorithm, different from how it was originally described, that makes it compatible with FRI. https://eprint.iacr.org/2024/504

0 reply

0 recast

0 reaction

jimpo pfp

Funnest new math thing is in our new paper :-) We discovered a way of understanding a binary NTT algorithm, different from how it was originally described, that makes it compatible with FRI. https://eprint.iacr.org/2024/504

0 reply

0 recast

0 reaction

jimpo pfp

New Gary Clark Jr album is inspired https://youtu.be/ow4UNrLCS6Y?si=ZCxKCQBb3pwD_aSP

0 reply

1 recast

6 reactions

Ashoat pfp

Hey all! I’m Ashoat, the founder of Comm (@comm.eth). We're building a sovereign Discord alternative by using personal servers to extend Signal's model of E2E encryption (https://comm.app). We’re looking for feedback from privacy maxis — if you’re down for a demo, drop a 👋 or DM me!

6 replies

3 recasts

38 reactions

jimpo pfp

There's a new thing every month! The specific type of binary field Binius uses, the Wiedemann tower, is incredibly elegant But the real answer is something new that Ben (our cryptographer) and I figured out a few weeks ago. More details to come soon. 😁

0 reply

0 recast

0 reaction

jimpo pfp

Interesting question. Growing the eng team from ~10 to almost 20 in a short amount of time. And figuring out how to ramp everyone up on very technical HW & ZK stuff.

0 reply

0 recast

0 reaction

jimpo pfp

1 reply

0 recast

0 reaction

jimpo pfp

My co-founder Radi and I recently went on the ZK Podcast to talk about the new binary field proof system our team is developing, Binius, and our ZK hardware accelerators https://zeroknowledge.fm/303-2/

3 replies

1 recast

31 reactions

jimpo pfp

My team wrote up a post on accelerating a subroutine of Polygon's STARKs with high performance hardware! https://www.ulvetanna.io/news/fpga-architecture-for-goldilocks-ntt

0 reply

1 recast

2 reactions

jimpo pfp

Weird, the full link didn't copy right. I meant: https://xn--2-umb.com/22/bls-signatures/

0 reply

0 recast

0 reaction

jimpo pfp

Well, it all starts with rational functions over the group of r-torsion point on an elliptic curve... Remco's blog has a great page on it https://xn--2-umb.com

1 reply

0 recast

0 reaction

jimpo pfp

Highly recommend the book "Nuclear Energy: What Everyone Needs to Know" by Charles D. Ferguson

0 reply

0 recast

0 reaction

jimpo pfp

RIP Jeff Beck 😢 He was truly in a league of his own https://youtu.be/KU2u07G_XLc

0 reply

0 recast

1 reaction