Commit Verlauf

Autor SHA1 Nachricht Datum
  plato c8dbd32296 starting dev of mimc vor 5 Jahren
  plato 3eed8b7b87 added some debug vor 5 Jahren
  plato ec8361771a finally jj-mul executing vor 5 Jahren
  plato 2dfc7ab00e added boolean constraint vor 5 Jahren
  plato 45772956d0 added conditionally unfinished vor 5 Jahren
  plato dffe5b7cd8 not small order vor 5 Jahren
  plato 5647c019ec added zero? and scalar invert vor 5 Jahren
  plato 43dd0ec21c added zk-double vor 5 Jahren
  plato 18e2584460 organizing code vor 5 Jahren
  plato 0d340cdedf prove needs scoping to execute more than one expression vor 5 Jahren
  plato c9ace8c383 added macros.lisp sample vor 5 Jahren
  plato 05881c9380 brute force merge env and now it work vor 5 Jahren
  plato 06378da693 organizing vor 5 Jahren
  ada 078492f1bb debuging jubjub mul vor 5 Jahren
  ada 8e06b5c00f prove without refactor vor 5 Jahren
  ada 98649a6da3 added sub, add scalar for vector and func vor 5 Jahren
  ada 4c04bb2cd7 added div and mul scalar, fix when param is a func vor 5 Jahren
  ada 00ec659416 major fix on scalar add and alloc returns vor 5 Jahren
  ada f72b5ea131 enforce parsing done vor 5 Jahren
  ada 3ac203c35e organizing eval on enforce vor 5 Jahren
  ada 268f6f0e04 evaluate multiple enforce left right and output vor 5 Jahren
  ada 1db67b4d82 alloc as lisp hashmap vor 5 Jahren
  ada 8c5414040d eval cs::one vor 5 Jahren
  ada a0663c1a7f eval vor 5 Jahren
  ada 156d281476 eval enforce and cs::one vor 5 Jahren
  ada 01e21f9c01 eval scalar_one and transform into vector vor 5 Jahren
  ada 8c4c532e26 eval_ast on alloc vor 5 Jahren
  ada 43e785f086 changing zkcircuit ref vor 5 Jahren
  ada bd28f5e4d5 improve circuit, adding alloc vor 5 Jahren
  ada 2abd8a905b fixing enforce eval loop vor 5 Jahren