This project is mirrored from https://*****@github.com/AU-COBRA/ConCert.git. Updated .
  1. 20 May, 2020 1 commit
  2. 18 May, 2020 21 commits
  3. 12 May, 2020 1 commit
  4. 10 May, 2020 1 commit
  5. 01 May, 2020 4 commits
  6. 17 Apr, 2020 1 commit
    • Jakob Botsch Nielsen's avatar
      Implement vote zero knowledge proof · 2713e452
      Jakob Botsch Nielsen authored
      This proof is based on the description given in the original open vote
      network article. It verifies that the public vote is on the form
      g^(x*y)*g^v for either v=0 or v=1, and where x corresponds to the secret
      key sent in the first part of the protocol.
      
      This also updates a few things so that the test keeps working.
      Specifically, it changes the hash function used to be simple (insecure)
      xor, as the encoding used before was causing major computational
      isssues.
      2713e452
  7. 31 Mar, 2020 3 commits
  8. 27 Mar, 2020 1 commit
  9. 24 Mar, 2020 1 commit
    • Danil Annenkov's avatar
      Crowdfunding extraction from deep embedding (#20) · 998f82c9
      Danil Annenkov authored
      * Restructured examples
      
      * Moved readme
      
      * Added an extractable crowdfunding contract. Extended Liquidity extraction. Fixed some imports
      
      * Added validation of the transaction amount. Misc fixes in demo
      
      * Changes in demo
      
      * Working extraction with validation of the transaction amount
      998f82c9
  10. 23 Mar, 2020 1 commit
  11. 20 Mar, 2020 5 commits