Batch verification for range proofs#86

Open

oleganza wants to merge 233 commits intomainfrom

oleg/batch-verify

Commits on Feb 2, 2018

create readme
cathieyun
authored
Fix merge conflict whoops
Cathie
committed
Added comments, some more progress on generating t
Cathie
committed

Commits on Feb 3, 2018

add helper functions
Cathie
committed
syntax fix
oleganza
committed

Commits on Feb 5, 2018

Commits on Feb 6, 2018

Output range proof
Cathie
committed
generate l, r
Cathie
committed
Use the crates.io version of dalek, now that it's released.
hdevalence
committed
Add tests
Cathie
committed
Merge branch 'master' of github.com:chain/ristretto-bulletproofs
Cathie
committed

Commits on Feb 7, 2018

Starting verification
Cathie
committed

Commits on Feb 8, 2018

messy but working proof
Cathie
committed
implement last verification check
Cathie
committed
Switch to efficient proof gen
Cathie
committed

Commits on Feb 9, 2018

speeding up verification
Cathie
committed

Commits on Feb 10, 2018

it compiles now
Cathie
committed

Commits on Feb 12, 2018

added fiatshamir api
oleganza
committed
Feature: random oracle API (#2)

oleganza
authored and
hdevalence
committed

Commits on Feb 14, 2018

Change calculation for t0, t1, t2
Cathie
committed
Merge pull request #5 from chain/karatsuba
cathieyun
authored
add ipp outline
Cathie
committed
Work on recurse function
Cathie
committed
change to loop instead of recursive call
Cathie
committed

Commits on Feb 15, 2018

first pass on proving
Cathie
committed
assuming nightly, so we dont need a bench feature (#7)

oleganza
authored and
hdevalence
committed
Finish prover for inner product proof
Cathie
committed
rename variables in range proof to match new symbols
Cathie
committed
update comments
Cathie
committed
fix errors
Cathie
committed

Commits on Feb 16, 2018

Update test names, add more tests
Cathie
committed
merge conflict fix
Cathie
committed
Merge pull request #8 from chain/ipp-2
cathieyun
authored

Commits on Feb 17, 2018

Commits on Feb 21, 2018

Merge branch 'rename-rp'
hdevalence
committed

Commits on Feb 22, 2018

Commits on Mar 12, 2018

Rename to `ProofTranscript` (#13)

hdevalence
authored and
oleganza
committed
rust-toolchain = nightly-2018-03-05
oleganza
committed

Commits on Mar 14, 2018

Commits on Mar 15, 2018

Commits on Mar 19, 2018

Merge branch 'use-ipp_r3'
hdevalence
committed

Commits on Mar 23, 2018

Commits on Mar 28, 2018

Merge pull request #20 from chain/feature/criterion
hdevalence
authored

Commits on Mar 30, 2018

Commits on Apr 16, 2018

Rename remaining x -> u in the IPP implementation (#53)
oleganza
authored

Commits on Apr 20, 2018

Clarify notes on how rangeproof is built up (#56)
oleganza
authored

Commits on Apr 24, 2018

Squashed commit of the following:
Cathie
committed
Squashed commit of the following:
Cathie
committed
Merge branch 'main' of github.com:chain/ristretto-bulletproofs into main
Cathie
committed

Commits on Apr 25, 2018

add error checks for m parties on dealer state
Cathie
committed
setup for doing per-share validation on proof shares
Cathie
committed
Adding proof share validation math - only passes for the first proof share, WIP
Cathie
committed
Fixed math, validity check works for all proof shares now
Cathie
committed
add ProofBlame struct
Cathie
committed
rustfmt

hdevalence
authored and
Cathie
committed
add error checking for size of m, n
Cathie
committed
fmt
Cathie
committed
add n>64 checking
Cathie
committed
lib fixup
Cathie
committed
rustfmt
Cathie
committed
Add tests for ProofBlame
Cathie
committed
rename ProofBlame to ProofShareVerifier
Cathie
committed
add fast sum_of_powers func to utils
Cathie
committed
Merge pull request #57 from chain/aggregated_proof
hdevalence
authored

Commits on Apr 26, 2018

Commits on Apr 28, 2018

Pass generators into the aggregated proof code and shorten proofs
hdevalence
committed

Commits on Apr 30, 2018

Commits on May 1, 2018

Commits on May 2, 2018

Commits on May 3, 2018

Commits on May 4, 2018