From 9a17f1ff366ccc56e37aa4577bb5be981c26b311 Mon Sep 17 00:00:00 2001 From: leopardracer <136604165+leopardracer@users.noreply.github.com> Date: Sun, 1 Dec 2024 22:05:35 +0200 Subject: [PATCH] Update README.tex.md --- README.tex.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.tex.md b/README.tex.md index 6041e3c..1457be6 100644 --- a/README.tex.md +++ b/README.tex.md @@ -3,7 +3,7 @@ Bulletproofs are short zero-knowledge arguments of knowledge that do not require a trusted setup. Argument systems are proof systems with computational soundness. -Bulletproofs are suitable for proving statements on committed values, such as range proofs, verifiable suffles, arithmetic circuits, etc. +Bulletproofs are suitable for proving statements on committed values, such as range proofs, verifiable shuffles, arithmetic circuits, etc. They rely on the discrete logarithmic assumption and are made non-interactive using the Fiat-Shamir heuristic.