OPSEC Cybersecurity News LiveMar 23, 2023
Definition of soundness for interactive proof systems

https://crypto.stackexchange.com/questions/105794/definition-of-soundness-for-interactive-proof-systems

#interactiveproofs
Definition of soundness for interactive proof systems

I am reading the Wikipedia page for Interactive proof systems and am having trouble understand the notation in the definition of soundness, many of which is left unspecified. Given a formal languag...

Cryptography Stack Exchange
OPSEC Cybersecurity News LiveJan 18, 2023
Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y

#challengeresponse #interactiveproofs #snarks
Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

In Wesolowski's VDF (verifiable delay function) a prover produces a pair $(x, y)$ and needs to argue to the verifier that the pair satisfies $y = x^e \pmod N$ for some $e$ computable to both. The

Cryptography Stack Exchange
OPSEC Cybersecurity News LiveJan 3, 2023
Proof of Knowledge & Rewinding Lemma

https://crypto.stackexchange.com/questions/103564/proof-of-knowledge-rewinding-lemma

#schnorridentification #zeroknowledgeproofs #interactiveproofs
Proof of Knowledge & Rewinding Lemma

I'm somewhat confused about how the definition of a proof of knowledge relates to the Theorem 19.1 in Boneh-Shoup (http://toc.cryptobook.us/book.pdf), particularly in relation to Schnorr's protocol...

Cryptography Stack Exchange