A Dive into Binius with Ulvetanna

In this week's episode, https://twitter.com/annarrose (Anna) and cohost https://twitter.com/_bfarmer (Brendan Farmer) catch up with https://twitter.com/jimpo_potamus (Jim Posen) and https://twitter.com/radi_cojbasic (Radi Cojbasic) from https://www.ulvetanna.io/ (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: https://eprint.iacr.org/2023/1784.pdf (Succinct Arguments over Towers of Binary Fields by Diamond and Posen) https://www.ulvetanna.io/news/binius-hardware-optimized-snark (Binius: a Hardware-Optimized SNARK) https://zeroknowledge.fm/170-2/ (Episode 170: Hardware for ZKPs and VDFs with Supranational) https://zeroknowledge.fm/266-2/ (Episode 266: ZK Hardware Sessions with Zprize Pt. 1) https://zeroknowledge.fm/267-2/ (Episode 267: ZK Hardware Sessions with Zprize Pt. 2) https://eprint.iacr.org/2018/046.pdf (Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh, Riabzev) https://eprint.iacr.org/2022/1530.pdf (Multivariate lookups based on logarithmic derivatives by Ulrich Haböck) https://zeroknowledge.fm/250-2/ (Episode 250: What’s the Deal with Hash Functions?) https://docs.rs/crate/plonky2/latest/source/plonky2.pdf (Plonky2: Fast Recursive Arguments with PLONK and FRI by Polygon Zero Team) ZK Hack IV online is coming soon, watch out for updates on https://zkhack.dev/zkhackIV/ (zkhack.dev/zkhackIV)! http://aleo.org/ (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/ (http://aleo.org/) If you like what we do: Find all our links here! https://linktr.ee/zeroknowledge (@ZeroKnowledge | Linktree) Subscribe to our https://zeroknowledge.substack.com (podcast newsletter) Follow us on Twitter https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://zeroknowledge.fm/telegram (Telegram) Catch us on https://zeroknowledge.fm/ (YouTube)