Paper 2023/1784 Original: eprint.iacr.org/2023/1784 ↗
Succinct Arguments over Towers of Binary Fields
Abstract
We introduce an efficient SNARK for towers of binary fields. Adapting Brakedown (CRYPTO '23), we construct a multilinear polynomial commitment scheme suitable for polynomials over tiny fields, including that with just two elements. Our commitment scheme, unlike those of previous works, treats small-field polynomials with no embedding overhead. We further introduce binary-field adaptations of HyperPlonk (EUROCRYPT '23)'s product and permutation checks and of Lasso (EUROCRYPT '24)'s lookup. Our binary PLONKish variant captures standard hash functions—like Keccak-256 and Grøstl—extremely efficiently. With recourse to thorough performance benchmarks, we argue that our scheme can efficiently generate precisely those Keccak-256-proofs which critically underlie modern efforts to scale Ethereum.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2025-04-27: last updated
- 2023-11-17: published
- Short URL
- https://ia.cr/2023/1784
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2023/1784,
author = {Benjamin E. Diamond and Jim Posen},
title = {Succinct Arguments over Towers of Binary Fields},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/1784},
year = {2023},
url = {https://eprint.iacr.org/2023/1784}
}