Permalink
Commits on Jan 30, 2018
  1. Merge pull request #3 from stratumn/bt/proof-of-location/improve-scripts

    t-bast committed Jan 30, 2018
    proof-of-location: small tweaks to prove and verify scripts
Commits on Jan 23, 2018
  1. Merge pull request #2 from stratumn/bt/proof-of-location/static-linking

    t-bast committed Jan 23, 2018
    proof of location: static linking
Commits on Jan 22, 2018
  1. Fix typo in exo0

    t-bast committed Jan 22, 2018
  2. Merge pull request #1 from stratumn/bt/apps/proof-of-location

    t-bast committed Jan 22, 2018
    First basic version of a proof of location
Commits on Jan 19, 2018
  1. proof of location: get current location from external source.

    t-bast committed Jan 19, 2018
    And a small type refactoring.
  2. Add vscode to gitignore

    t-bast committed Jan 19, 2018
Commits on Jan 18, 2018
  1. let user run setup

    ankurdelight authored and t-bast committed May 8, 2017
  2. lines

    ankurdelight authored and t-bast committed Apr 26, 2017
  3. simplify

    ankurdelight authored and t-bast committed Apr 26, 2017
  4. we want to run these

    ankurdelight authored and t-bast committed Apr 25, 2017
  5. we now autogenerate this aux files

    ankurdelight authored and t-bast committed Apr 25, 2017
  6. new scripts for running demo

    ankurdelight authored and t-bast committed Apr 25, 2017
  7. genprime

    azuenko authored and t-bast committed Apr 10, 2017
  8. add Dockerfile

    stephan83 authored and t-bast committed Mar 24, 2017
  9. adding setup script for proof of balance. after installing, please go…

    ankurdelight authored and t-bast committed Mar 17, 2017
    … to pepper directory and run './setup.sh proof_of_balance' ; things should work out.
Commits on Dec 12, 2017
Commits on Dec 1, 2017
  1. Update thirdparty install to use latest libsnark

    r-marques committed Dec 1, 2017
    - The new version now uses cmake
Commits on Jun 28, 2017
Commits on Jun 14, 2017
Commits on Jun 13, 2017
  1. fix: prover, verifier now accept negative numbers as input directly

    maxhowald committed Jun 13, 2017
     - Inputs are now automatically converted to their representation as
       field elements. So, for example, instead of specifying -1 as
       218...5616 (prime - 1), you can just specify it directly as -1.
    
     - Similarly, outputs are specified as negative integers or rationals
       instead of the field element they are represented by.
Commits on Jun 10, 2017
  1. bugfix: prover properly solves equality constraints

    maxhowald committed Jun 10, 2017
     - When solving an equality constraint, two values should be
       considered equal if they are congruent modulo p, the prime of the
       finite field.