379 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
ada	32746d0748	adding verify on lisp	2021-02-10 21:51:54 +01:00
ada	fdaebbef08	some random adjustments on groth16 proof	2021-02-10 00:54:23 +01:00
ada	282f0c87d6	added prove	2021-02-08 17:54:57 +01:00
ada	cc42e9097d	added prove.out file to debug proof and verify	2021-02-08 00:45:04 +01:00
ada	a7788bfb68	adde str conversion on alloc	2021-02-07 23:53:57 +01:00
ada	f0a67ce7e3	adde str conversion on alloc	2021-02-07 23:51:05 +01:00
ada	98649a6da3	added sub, add scalar for vector and func	2021-02-07 17:05:29 +01:00
ada	4c04bb2cd7	added div and mul scalar, fix when param is a func	2021-02-07 16:17:03 +01:00
ada	88270e6b58	enforce field with constants and params	2021-02-07 12:29:14 +01:00
ada	1857ed1f5f	added constants on the lisp circuit	2021-02-07 11:42:06 +01:00
ada	a0427cb3e1	added constant on jubjubadd sample	2021-02-06 17:34:58 +01:00
ada	7bc1b95982	add constant to enforce field	2021-02-06 17:29:22 +01:00
ada	00ec659416	major fix on scalar add and alloc returns	2021-02-06 12:16:44 +01:00
ada	6abf0023f8	merge	2021-02-02 11:24:59 +01:00
ada	c3c150fcd0	added enforce for left, right and output	2021-02-02 10:55:05 +01:00
ada	94208ee338	added dependencies	2021-02-02 08:34:29 +01:00
ada	5fc4142edb	fix warnings	2021-02-02 07:55:03 +01:00