Commit Verlauf

Autor SHA1 Nachricht Datum
  narodnik 1eaf781128 cargo fmt 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
  ada f0a67ce7e3 adde str conversion on alloc vor 5 Jahren
  ada 88270e6b58 enforce field with constants and params vor 5 Jahren
  ada 1857ed1f5f added constants on the lisp circuit vor 5 Jahren
  ada 00ec659416 major fix on scalar add and alloc returns vor 5 Jahren
  ada c3c150fcd0 added enforce for left, right and output vor 5 Jahren
  ada 94208ee338 added dependencies vor 5 Jahren
  ada 391397ee62 alloc input on synt vor 5 Jahren
  ada 4a8b4b4b95 syntethize circuit vor 5 Jahren
  ada bc31a6e538 lisp circuit print allocs and enforce vor 5 Jahren
  ada b808eba531 begin setup with enforce, alloc and alloc input vor 5 Jahren
  ada f1807fa742 enforce and return types not malval vor 5 Jahren
  ada f72b5ea131 enforce parsing done vor 5 Jahren
  ada be9fbf6b3b parsing enforce vor 5 Jahren
  ada edd3c45ed0 added enforce allocs to env vor 5 Jahren
  ada 1db67b4d82 alloc as lisp hashmap vor 5 Jahren
  ada 978e5e472f make allocations as hashmap lisp type vor 5 Jahren