Commit Verlauf

Autor SHA1 Nachricht Datum
  plato 5fed74062f jj mul improve verify performance removing alloc-input from conditionally_select vor 5 Jahren
  plato 2a10899990 added profiling time vor 5 Jahren
  plato 073de0ea41 triple programming fix vor 5 Jahren
  plato 9fe4d88e60 rangeproof and evaluation of enforce field when it's one symbol only vor 5 Jahren
  plato d9aab92fe2 fix linear combination zero on enforce field vor 5 Jahren
  plato 16b6a1cc05 mint contract first version vor 5 Jahren
  plato 9d9c9fb09a changed hashmap implementation and make small improvements on allocs vor 5 Jahren
  plato 9df73eb30e we have mimc proof vor 5 Jahren
  plato 635c6ab081 mimc alloc const fix vor 5 Jahren
  plato c8dbd32296 starting dev of mimc vor 5 Jahren
  plato 45772956d0 added conditionally unfinished vor 5 Jahren
  plato dffe5b7cd8 not small order vor 5 Jahren
  plato 43dd0ec21c added zk-double vor 5 Jahren
  plato faaea967a6 added const for right and output on circuit enforce vor 5 Jahren
  plato 6b0d9694bc fix witness vor 5 Jahren
  plato 18e2584460 organizing code vor 5 Jahren
  plato 05881c9380 brute force merge env and now it work vor 5 Jahren
  ada 078492f1bb debuging jubjub mul vor 5 Jahren
  ada f1d5b4d632 jj mul + double same circuit 1 vor 5 Jahren
  ada 2de8ac7b35 jubjub-add fixed vor 5 Jahren
  ada 181ef6cf10 ordered enforce vor 5 Jahren
  ada f8642572ed added todo vor 5 Jahren
  ada 8e06b5c00f prove without refactor vor 5 Jahren
  ada bd02c75a0f debugging vor 5 Jahren
  ada b652168355 debugging vor 5 Jahren
  ada 32746d0748 adding verify on lisp vor 5 Jahren
  ada fdaebbef08 some random adjustments on groth16 proof vor 5 Jahren
  ada 282f0c87d6 added prove vor 5 Jahren
  ada cc42e9097d added prove.out file to debug proof and verify vor 5 Jahren
  ada a7788bfb68 adde str conversion on alloc vor 5 Jahren