Permalink
Switch branches/tags
Nothing to show
Commits on Oct 23, 2018
Commits on Oct 22, 2018
  1. update libsnark submodule

    akosba committed Oct 22, 2018
  2. update libsnark submodule

    akosba committed Oct 22, 2018
  3. Update libsnark submodule

    akosba committed Oct 22, 2018
Commits on Oct 15, 2018
  1. Merge pull request #15 from mariogemoll/fix-sha256-test

    akosba committed Oct 15, 2018
    Add missing imports to fix SHA256 test
Commits on Sep 25, 2018
  1. Update SHA256_Test.java

    akosba committed Sep 25, 2018
    Test with different word sizes (different number of bytes per input wire)
Commits on Sep 5, 2018
  1. Add missing packing check

    akosba committed Sep 5, 2018
Commits on Jul 8, 2018
  1. Simplify code + notes

    akosba committed Jul 8, 2018
    The class still implements the same logic with minor differences in equations and method calls, just to make things consistent. Unnecessary checks/loops were removed.
Commits on Jun 7, 2018
Commits on May 30, 2018
  1. Fix junit test path in readme

    akosba committed May 30, 2018
Commits on May 26, 2018
Commits on May 1, 2018
  1. Few changes to RSA Encryption example

    akosba committed May 1, 2018
    - Plaintext inputs in the examples/tests are changed to be prover
    witnesses, and constraints are added accordingly in the circuit
    generators.
    - For the RSA Encryption gadgets, checking the seed/randomness vectors
    is included in separate methods now, as in PKCS v1.5 it's more than just
    checking bounds. The method should be called when randomness/seed is a
    prover witness, which is likely the case.
  2. Use restrictBitwidth() calls in new gadgets/circuits.

    akosba committed May 1, 2018
    Although getBits() sometimes do the job, calling restrictBitwidth() is
    safer when enforcing constraints on bitwidth, as in some cases,
    getBits() might be keeping a longer bit array from previous calls in
    other situations. restrictBitwidth() does another bit split if the
    bitwidth argument is smaller than the cached array length. Most of the
    additional calls/replacements are for clarity.
  3. Caching / Assertion improvements and fix

    akosba committed May 1, 2018
    - Detection and elimination of similar operations was improved. Caching
    is handled for other basic operations, e.g. calling a SHA256 gadget on
    the same input wires will not yield any more constraints.
    
    - This update fixes one case with AssertionBasicOp that was not handled
    correctly. In the previous version, AssertionBasicOp  instructions were
    not assumed to be cached, but the exclusion condition was not specified
    properly, so they were dealt with as MultiplicationBasicOp.  Due to
    this, an assertion pair like [w1*w2=w3,  w1*w2=w4], was considered as
    one AssertionBasicOp  and the 2nd op would not appear in the circuit.
    Same for the pair  w1*1=w2, w1*1=w3. This makes sense for
    MultiplicationBasicOp when new wires are produced, but not for
    AssertionBasicOp where all the inputs and output are existing wires.
    
    This case does not appear in any of the gadgets, as they use assertions
    infrequently in a way that does not result in the above cases.
Commits on Apr 15, 2018
  1. minor

    akosba committed Apr 15, 2018
  2. Add RSA OAEP Encryption gadget

    akosba committed Apr 15, 2018
  3. Add LongInteger Mod Gadget

    akosba committed Apr 15, 2018
  4. AES circuit generator example

    akosba committed Apr 15, 2018
  5. Add DH Key Exchange gadgets

    akosba committed Apr 15, 2018
  6. Remove duplicate examples

    akosba committed Apr 15, 2018
  7. Restructuring examples

    akosba committed Apr 15, 2018
  8. Util Update

    akosba committed Apr 15, 2018
Commits on Jan 26, 2018
  1. Merge pull request #6 from bitcartel/bitcartel-patch-1

    akosba committed Jan 26, 2018
    Fix name of example in README.md
  2. minor fix

    akosba committed Jan 26, 2018