Zero-Knowledge Sudoku

you own this product
prerequisites
intermediate Rust • basic IntelliJ IDEA Rust plugin
skills learned
implement and test a library for a specific construction of a zero-knowledge protocol • implement a cryptographic hash-based commitment scheme
Omer Shlomovits
1 week · 5-7 hours per week · BEGINNER
Included with a Manning Online subscription
try now

pro $24.99 per month

  • access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
  • choose one free eBook per month to keep
  • exclusive 50% discount on all purchases

lite $19.99 per month

  • access to all Manning books, including MEAPs!

team

5, 10 or 20 seats+ for your team - learn more

Look inside

In this liveProject, you’ll use zero-knowledge proof (ZKP) to reveal that a super hard Sudoku puzzle has been solved, but without sharing the answer. To do this you’ll implement a prover and a verifier that are sharing a Sudoku board. The prover will produce a proof for knowing a solution, while the verifier will use the proof to get convinced and catch a cheating prover. You’ll build a ZKP based on the classical GMW zero-knowledge proof of 3-Colorability of a graph, using the Rust language.

This project is designed for learning purposes and is not a complete, production-ready application or solution.

project author

Omer Shlomovits
Omer Shlomovits (omershlomovits.com) is the co-founder and VP Research of ZenGo (founded 2018), a Tel-Aviv based company building products for consumers in the blockchain space. He runs ZenGo X, a 500+ members research community. He is a member of OpenMined MPC team, applying secure computation to machine learning. He codes mostly in Rust\Go and is passionate about imagining, designing, implementing and attacking complex crypto-systems. His research is aimed to tackle real world, hard problems, using novel cryptography. His focus is on threshold cryptography. In 2019 he co-founded MPC-Alliance, a consortium of 50+ companies collaborating to advance MPC technology. Currently he serve as a board-member and head of the technical committee. He co-founded Zero-Knowledge TLV, a 750+ members applied cryptography community in Israel. This is now part of ZK-Global.

prerequisites

The liveProject is for intermediate Rust developers. To begin this liveProject you will need to be familiar with the following:

TOOLS
  • Intermediate Rust
  • Basic IntelliJ IDEA Rust plugin
TECHNIQUES
  • Basic algorithms

    • features

    Self-paced
    You choose the schedule and decide how much time to invest as you build your project.
    Project roadmap
    Each project is divided into several achievable steps.
    Get Help
    While within the liveProject platform, get help from fellow participants and even more help with paid sessions with our expert mentors.
    Compare with others
    For each step, compare your deliverable to the solutions by the author and other participants.
    book resources
    Get full access to select books for 90 days. Permanent access to excerpts from Manning products are also included, as well as references to other resources.

    related titles

    choose your plan

    pro

    monthly
    annual
    $24.99
    $249.99
    only $20.83 per month
    • access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
    • choose another free product every time you renew
    • choose twelve free products per year
    • exclusive 50% discount on all purchases
    • Zero-Knowledge Sudoku project for free

    team

    monthly
    annual
    $49.99
    $399.99
    only $33.33 per month
    • five seats for your team
    • access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
    • choose another free product every time you renew
    • choose twelve free products per year
    • exclusive 50% discount on all purchases
    • Zero-Knowledge Sudoku project for free