Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Fix security bug in proof-checking code #60

Merged
merged 4 commits into from
Jan 9, 2019
Merged

Fix security bug in proof-checking code #60

merged 4 commits into from
Jan 9, 2019

Commits on Jan 8, 2019

  1. Add PRG_get_int_range() function

    Henry Corrigan-Gibbs committed Jan 8, 2019
    Configuration menu
    Copy the full SHA
    7c563be View commit details
    Browse the repository at this point in the history

  2. Fix bug in proof-checking code. 

    Per Appendix D.2 of the full version of the Prio paper, the servers
should evaluate the polynomials f, g, and h at a random point r in the
set {M+1, ..., modulus-1}, where M is the number of multiplication gates
in the "Valid" circuit. The implementation previously sampled the point
r from the larger set {0, ..., modulus-1}.
    Henry Corrigan-Gibbs committed Jan 8, 2019
    Configuration menu
    Copy the full SHA
    d9d2629 View commit details
    Browse the repository at this point in the history

  3. Remove extraneous printf() in test code

    Henry Corrigan-Gibbs committed Jan 8, 2019
    Configuration menu
    Copy the full SHA
    c37c560 View commit details
    Browse the repository at this point in the history

  4. Fixes per clang-format

    Henry Corrigan-Gibbs committed Jan 8, 2019
    Configuration menu
    Copy the full SHA
    35234d8 View commit details
    Browse the repository at this point in the history