Powers-of-tau to the people: Decentralizing setup ceremonies

V Nikolaenko, S Ragsdale, J Bonneau… - … Conference on Applied …, 2024 - Springer
We propose several decentralized ceremonies for constructing a powers-of-tau structured
reference string (SRS). Our protocols make use of a blockchain platform to run in a …

Kachina–foundations of private smart contracts

T Kerber, A Kiayias, M Kohlweiss - 2021 IEEE 34th Computer …, 2021 - ieeexplore.ieee.org
Smart contracts present a uniform approach for deploying distributed computation and have
become a popular means to develop security critical applications. A major barrier to …

Sok: A stratified approach to blockchain decentralization

C Ovezik, D Karakostas, A Kiayias - arXiv preprint arXiv:2211.01291, 2022 - arxiv.org
Decentralization has been touted as the principal security advantage which propelled
blockchain systems at the forefront of developments in the financial technology space. Its …

Ofelimos: Combinatorial optimization via proof-of-useful-work: A provably secure blockchain protocol

M Fitzi, A Kiayias, G Panagiotakos… - Annual International …, 2022 - Springer
Minimizing the energy cost and carbon footprint of the Bitcoin blockchain and related
protocols is one of the most widely identified open questions in the cryptocurrency space …

[PDF][PDF] Universally Composable NIZKs: Circuit-Succinct, Non-Malleable and CRS-Updatable.

B Abdolmaleki, N Glaeser, S Ramacher… - IACR Cryptol. ePrint …, 2023 - researchgate.net
Non-interactive zero-knowledge proofs (NIZKs) and in particular succinct NIZK arguments of
knowledge (so called zk-SNARKs) increasingly see real-world adoption in large and …

Composition with knowledge assumptions

T Kerber, A Kiayias, M Kohlweiss - … 2021, Virtual Event, August 16–20 …, 2021 - Springer
Zero-knowledge succinct non-interactive arguments (zk-SNARKs) rely on knowledge
assumptions for their security. Meanwhile, as the complexity and scale of cryptographic …

Cornucopia: Distributed randomness beacons at scale

M Christ, K Choi, J Bonneau - Cryptology ePrint Archive, 2023 - eprint.iacr.org
We propose Cornucopia, a distributed randomness beacon protocol combining
accumulators and verifiable delay functions. Cornucopia extends the Unicorn protocol of …

Cornucopia: Distributed Randomness at Scale

M Christ, K Choi, J Bonneau - 6th Conference on Advances in …, 2024 - drops.dagstuhl.de
We propose Cornucopia, a protocol framework for distributed randomness beacons
combining accumulators and verifiable delay functions. Cornucopia generalizes the Unicorn …

SoK: Trusted setups for powers-of-tau strings

F Wang, S Cohney, J Bonneau - Cryptology ePrint Archive, 2025 - eprint.iacr.org
Many cryptographic protocols rely upon an initial\emph {trusted setup} to generate public
parameters. While the concept is decades old, trusted setups have gained prominence with …

Circuit-Succinct Universally-Composable NIZKs with Updatable CRS

B Abdolmaleki, N Glaeser, S Ramacher… - 2024 IEEE 37th …, 2024 - ieeexplore.ieee.org
Non-interactive zero-knowledge proofs (NIZKs) and in particular succinct NIZK arguments of
knowledge (zk-SNARKs) increasingly see real-world adoption in large and complex …