zkdocs

zkdocs copied to clipboard

HACSpec

2

Thanks for the nice project! There are some overlaps in goals with the [hacspec](https://github.com/hacspec/hacspec/) project. Cryptographic primitives have been specified there, and some work on ZK proofs is underway. There...

spitters

"Short factoring proofs" - inconsistent parameters

1

In the article "[Short factoring proofs](https://www.zkdocs.com/docs/zkdocs/zero-knowledge-protocols/short-factoring-proofs/)" under "Security parameters:" you list among others "$m$, and $K$". However, $K$ is never used in the rest of the article. Instead, $m$ takes...

MarekSefranek

Elligator 2 for indistinguishable from random points

3

I don't know to which extent you plan to document less well known algorithms, but here is one that is crucial for designing cryptographic formats that do not reveal that...

covert-encryption

More Detailed Justification for Recommending Large Primes for SSSS

2

> In practice, p should be reasonably large. Breaking S into multiple parts introduces complexity and opportunities for malicious actors. Also, in some verifiable secret sharing schemes, a large p...

IamfromSpace

Short factoring proofs: Addition of phi(N)

2

In the short factoring proof, there is the line $y = r + (N - \varphi(N))e$. In the vanilla protocol, the verifier checks $x \overset{?}{\equiv} z^{y - eN} \mod N$....

uncomputable

fix: add a missing variable

1

In the bad example, $h$ seems to be missing from the final message sent to the verifier. Without it, the verifier does not have access to $h$. So, I added...

yuxqiu

Docs fix spelling issues

1

Hello I found several spelling issues. Br, Elias.

nnsW3

Fix schnorr additive notation

1

bemic