In this paper, we show for the first time that Bulletproofs (or any other similar multi-round proof system satisfying some form of weak unique response property) achieve simulation-extractability in the algebraic group model. This implies that Fiat-Shamir Bulletproofs are non-malleable.
Oct 15, 2021
May 25, 2022 · In this paper, we show for the first time that Bulletproofs (or any other similar multi-round proof system satisfying some form of weak unique ...
Missing: Â €"
Jun 2, 2022 · Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model) · IACR · Stacking Sigmas: A Framework to Compose Sigma-Protocols for ...
Missing: Â €"
Bulletproofs (Bünz et al. IEEE S&P 2018) are a celebrated ZK proof system that allows for short and efficient proofs, and have been implemented and deployed ...
Missing: Â €"
Jun 9, 2022 · In this paper, the authors show that Bulletproofs [BBB+18], can achieve simulation extractability in the RO model and Algebraic Group Model (AGM)
Missing: Â €"
This was done by proving simulation-extractability, which implies non-malleability, in the algebraic group model. In this work, we generalize the former ...
Missing: Â €"
Dec 10, 2024 · Fiat–Shamir Bulletproofs are Non-malleable (in the Random Oracle Model). December 2024; Journal of Cryptology 38(1). DOI:10.1007/s00145-024- ...
Missing: Â €"
In order to show you the most relevant results, we have omitted some entries very similar to the 7 already displayed.
If you like, you can repeat the search with the omitted results included. |