The success of network protocols in connecting computers is attributed to the cost efficiency of the protocol. Xerx won with Ethernet because they had the hardware available earlier and achieved cost efficiency, leading to it becoming an IEEE standard in 1985. During volatile times in protocol development, the advice is to look at compute price efficiency to determine the protocol's potential long-term success.
In this week's episode, Anna and cohost Brendan Farmer catch up with Jim Posen and Radi Cojbasic from Ulvetanna. They cover the origin story of Ulvetanna and their work on the ZK hardware/software intersection before moving on to discuss Binius, a new proving system they developed which is optimised for hardware. Binius is built on towers of binary fields and draws on recent breakthroughs on SNARKs. This work continues the trend towards the use of smaller fields and was inspired by the development of new lookup arguments, work done on multilinear provers and sum-check as well as the use of recursive composition in SNARKs.
Here’s some additional links for this episode:
ZK Hack IV online is coming soon, watch out for updates on zkhack.dev/zkhackIV!
Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.
Dive deeper and discover more about Aleo at http://aleo.org/
If you like what we do: