179 Commits

Author	SHA1	Message	Date
plato	53ef1dcb49	mimc constants nth element	2021-03-17 18:34:00 +01:00
plato	b4f7de007b	mimc alloc input fix	2021-03-17 16:20:00 +01:00
plato	635c6ab081	mimc alloc const fix	2021-03-17 16:10:24 +01:00
plato	c8dbd32296	starting dev of mimc	2021-03-17 15:20:32 +01:00
plato	208f9300d7	fix jj-add macro return values	2021-03-17 10:05:20 +01:00
plato	3eed8b7b87	added some debug	2021-03-17 09:31:25 +01:00
plato	ec8361771a	finally jj-mul executing	2021-03-16 21:32:53 +01:00
plato	c788126f57	added dotimes to fprevent stackoverflow with tail recursion	2021-03-16 15:05:11 +01:00
plato	f278eae0b3	trying tail recursion on jj-mul	2021-03-16 11:34:40 +01:00
plato	7e00fb82e3	added for-loop util	2021-03-15 23:46:21 +01:00
plato	2dfc7ab00e	added boolean constraint	2021-03-14 17:54:29 +01:00
plato	d45d6f0bcf	conditionally select done	2021-03-10 18:48:35 +01:00
plato	45772956d0	added conditionally unfinished	2021-03-09 14:02:58 +01:00
plato	dffe5b7cd8	not small order	2021-03-07 22:27:10 +01:00
plato	5647c019ec	added zero? and scalar invert	2021-03-07 11:10:04 +01:00
plato	43dd0ec21c	added zk-double	2021-03-06 11:37:47 +01:00
plato	faaea967a6	added const for right and output on circuit enforce	2021-03-06 01:38:35 +01:00
plato	07d469b875	macro test not validating proof	2021-03-05 12:04:52 +01:00
plato	10916184a2	fix zk-* alloc-input	2021-03-05 11:15:21 +01:00
plato	6b0d9694bc	fix witness	2021-03-05 10:58:04 +01:00
plato	348642ddc0	added zk-witness	2021-03-04 22:11:10 +01:00
plato	1895cc8665	added zk-witness	2021-03-04 22:10:09 +01:00
plato	07211a6061	added zk-mul	2021-03-04 21:27:08 +01:00
plato	18e2584460	organizing code	2021-03-02 21:26:06 +01:00
plato	15ab8ede99	organizing return of zk defmacro	2021-02-28 22:57:45 +01:00
plato	3746359939	added comment on jubjub add macro	2021-02-21 18:07:22 +01:00
plato	71f78b8f4b	added jubjub add using macro	2021-02-21 18:02:09 +01:00
plato	806d5c63c4	added jubjub add using macro	2021-02-21 18:01:26 +01:00
plato	0d340cdedf	prove needs scoping to execute more than one expression	2021-02-21 16:00:35 +01:00
plato	c9ace8c383	added macros.lisp sample	2021-02-21 12:07:57 +01:00
plato	50cc8db1f9	added comment on jubjub-mul about variable names colision	2021-02-20 13:27:18 +01:00
plato	05881c9380	brute force merge env and now it work	2021-02-20 12:55:13 +01:00
plato	4aa2876c49	added square on lisp	2021-02-17 08:32:40 +01:00
plato	605b067924	organizing	2021-02-17 08:24:03 +01:00
plato	06378da693	organizing	2021-02-17 08:23:47 +01:00
plato	6bbf2603a0	fixing commits	2021-02-16 17:10:00 +01:00
plato	e76ed0505b	organizing two circuits interacting	2021-02-16 17:01:34 +01:00
ada	7be811d99a	context and def! alloc	2021-02-15 21:11:51 +01:00
ada	078492f1bb	debuging jubjub mul	2021-02-15 19:58:31 +01:00
ada	c40bbd9606	two circuits merged and executing the proof	2021-02-14 15:44:12 +01:00
ada	f1d5b4d632	jj mul + double same circuit 1	2021-02-14 15:19:03 +01:00
ada	2ebaa169b2	jubjub solved	2021-02-12 20:47:13 +01:00
ada	e9dc84a5d2	fixing jubjub	2021-02-12 20:10:00 +01:00
ada	2de8ac7b35	jubjub-add fixed	2021-02-12 19:43:58 +01:00
ada	181ef6cf10	ordered enforce	2021-02-12 14:01:57 +01:00
ada	f8642572ed	added todo	2021-02-11 22:14:21 +01:00
ada	45b407b09c	inverse proof for new-cs	2021-02-11 21:53:17 +01:00
ada	8e06b5c00f	prove without refactor	2021-02-11 21:50:56 +01:00
ada	bd02c75a0f	debugging	2021-02-11 20:56:35 +01:00
ada	b652168355	debugging	2021-02-11 20:55:42 +01:00