Cryptographic Games

Zero-Knowledge Sudoku you own this product

This project is part of the liveProject series Learn Privacy-Enhancing Techniques with Cryptographic Games
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
filed under
try now

placing your order...

Don't refresh or navigate away from the page.
liveProject This project is part of the liveProject series Learn Privacy-Enhancing Techniques with Cryptographic Games liveProjects give you the opportunity to learn new skills by completing real-world challenges in your local development environment. Solve practical problems, write working code, and analyze real data—with liveProject, you learn by doing. These self-paced projects also come with full liveBook access to select books for 90 days plus permanent access to other select Manning products. $19.99 $29.99 you save $10 (33%)
Zero-Knowledge Sudoku (liveProject) added to cart
continue shopping
adding to cart

choose your plan

pro

monthly
annual
$24.99
$249.99
only $20.83 per month
  • share your subscription with one other person
  • access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
  • choose another free eBook every time you renew
  • choose twelve free eBooks per year
  • exclusive 50% discount on all purchases
  • Zero-Knowledge Sudoku eBook for free

team

monthly
annual
$49.99
$499.99
only $41.67 per month
  • five seats for your team
  • access to all Manning books, MEAPs, liveVideos, liveProjects, and audiobooks!
  • choose another free eBook every time you renew
  • choose twelve free eBooks per year
  • exclusive 50% discount on all purchases
  • Zero-Knowledge Sudoku eBook for free
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.

book resources

When you start your liveProject, you get full access to the following books for 90 days.

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

    • you will learn

    In this liveProject, you’ll explore cryptography for collaborative communication that offers privacy enhancement.


    • Define relevant data structures such as structs related for the prover and verifier
    • Implement and test a library for a specific construction of a zero-knowledge protocol
    • Implement a cryptographic hash-based commitment scheme

    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 other participants and 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.
    RECENTLY VIEWED