zkdocs icon indicating copy to clipboard operation
zkdocs copied to clipboard

Interactive documentation on zero-knowledge proof systems and related primitives.

Results 18 zkdocs issues
Sort by recently updated
recently updated
newest added

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...

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...

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...

> 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...

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$....

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...

Hello I found several spelling issues. Br, Elias.

Bumps the github-actions group with 2 updates in the / directory: [actions/checkout](https://github.com/actions/checkout) and [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact). Updates `actions/checkout` from 4.2.2 to 5.0.0 Release notes Sourced from actions/checkout's releases. v5.0.0 What's Changed Update...

dependencies
github_actions

f(3) in this example should be 81, not 8.