jimpo pfp

jimpo

@jimpo

54 Following
353 Followers
jimpo pfp
jimpo
@jimpo
Aww, thanks Dan!
0 reply
0 recast
0 reaction
jimpo pfp
jimpo
@jimpo
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
19 recasts
125 reactions
jimpo pfp
jimpo
@jimpo
💯
0 reply
0 recast
0 reaction
jimpo pfp
jimpo
@jimpo
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
jimpo
@jimpo
https://youtu.be/HSivlaSVk1k?si=alW7TdnCD9Rm6Omm
1 reply
0 recast
0 reaction
jimpo pfp
jimpo
@jimpo
Indeed! 5/5 stars for Star brite teak cleaner, brightener, and oil
0 reply
0 recast
0 reaction
jimpo pfp
jimpo
@jimpo
I respect wood
3 replies
0 recast
8 reactions
jimpo pfp
jimpo
@jimpo
Low Hum's new album is out! Amazing LA-based musician https://open.spotify.com/album/18Pa4VGAafO7JUcnY9ueYq?si=bmhtJQkFQLCycW17B9Fqcw
0 reply
1 recast
1 reaction
jimpo pfp
jimpo
@jimpo
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
jimpo
@jimpo
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
jimpo
@jimpo
New Gary Clark Jr album is inspired https://youtu.be/ow4UNrLCS6Y?si=ZCxKCQBb3pwD_aSP
0 reply
1 recast
4 reactions
Ashoat pfp
Ashoat
@ashoat.eth
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
33 reactions
jimpo pfp
jimpo
@jimpo
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
jimpo
@jimpo
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
jimpo
@jimpo
@v
0 reply
0 recast
0 reaction
jimpo pfp
jimpo
@jimpo
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
28 reactions
jimpo pfp
jimpo
@jimpo
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
0 reaction
jimpo pfp
jimpo
@jimpo
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
jimpo
@jimpo
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
jimpo
@jimpo
Highly recommend the book "Nuclear Energy: What Everyone Needs to Know" by Charles D. Ferguson
0 reply
0 recast
0 reaction