search

ZK-Plus / tutorials

A collection of the tutorial material for Zokrates+
GNU Lesser General Public License v3.0
0 stars 0 forks source link

Tutorial: Verifiable Credentials #4

Open JonathanHeiss opened 1 year ago

JonathanHeiss commented 1 year ago

Create a tutorial for range, time-dependent, membership, uniqueness proofs on credentials based on the system described in: https://arxiv.org/pdf/2209.09584.pdf The respective code can found here: https://github.com/JonathanHeiss/ZoKrates-Credential-Verification/tree/main/patterns/range. It can be executed with the ./eval.sh script once all dependencies in ./../requirements.txt have been installed

nikiblume commented 1 year ago

@JonathanHeiss ready for review (https://github.com/ZoKratesPlus/zokratesplus.github.io/blob/test-branch-blog-and-tut-enabled/tutorials/applications/2023-04-01-tutorial-range-proofs-on-credentials.md)

nikiblume commented 1 year ago

Full Tutorial having range, time-dependent, membership, uniqueness proof visible under: https://github.com/ZoKratesPlus/zokratesplus.github.io/blob/test-branch-blog-and-tut-enabled/tutorials/applications/2023-04-01-verifiable-credentials.md