Poseidon is a super elegant hash function, part 2:

Even an optimized STARK arithmetization can fit into a single screenshot

Chasing Curiosity. Pluralist. Empathetic Accelerationist. Founding Fullstack Engineer @icebreaker. YC S16, KB7, fid:66
icbk.me/tayyab.fc

It's a degree-5 function from a size-192 list of primes mod 2^31-1 to a size-176 list of primes mod 2^31-1, which evaluates to true only if the last eight items of the input are the Poseidon2 hash output of the first sixteen items of the input. This is useful for making hyper-optimized STARK proofs of hashes, which in turn is useful for STARKing anything blockchain-related, and potentially a (quantum-safe) replacement for verkle trees.

Thanks Vitalik, now can you explain what this wizardry is?

Systems engineer, budding crypto enthusiast, 10K/half-marathon runner 🏃🏾

Most code I write is not meant for production use, so the only value of it is other people looking at it!

So of course I try hard to document. And the above is only an intermediate product.

My favorite part of this is that the programmer actually commented/documented the code 🤯😆🎩

screenshot essays have just went to a whole new level

I have no idea what this means but I’m happy that there are ppl in the world who do

Script for Farcaster, multiple functions, likes, comments, posts, follows (created with AI) price $150 Telegram @leoeth01

Wow, it would be great if the technology was backed by the price of STRK😁

💯 here Poseidon in Noir 

https://blog.taceo.io/poseidon2-for-noir/

Amazing !

Goes to show how efficient the Poseidon hash function can be!

keep building king👑
happy 4th🇺🇸
174 $farther