250 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
ada	2863fe6df0	added prove code and env_get for the circuit	2020-12-16 23:56:47 +01:00
ada	5bea34947c	improve zkcircuit integration. added setup groth16 CS	2020-12-16 23:22:54 +01:00
ada	2abd8a905b	fixing enforce eval loop	2020-12-16 21:42:57 +01:00
ada	7df8a6a73a	added zkscalar operations (neg scalar::one)	2020-12-16 21:35:15 +01:00
ada	1892933189	improving zklisp. adding zkscalar	2020-12-16 15:45:01 +01:00
ada	3a51ff5378	improving circuit integration with lisp	2020-12-16 00:37:16 +01:00
ada	b09adcd438	start adding the groth16 constraint circuit and setup method	2020-12-15 21:04:50 +01:00
ada	8f37dc8aa5	added zkcircuit to start setup process	2020-12-15 21:00:43 +01:00
ada	3121f3f879	fixing new dsl for cs	2020-11-28 03:27:47 +01:00
ada	66d147dce6	cleaning code and new version	2020-11-24 02:54:30 +01:00
ada	3e2c62c0bf	cleaning code	2020-11-24 02:51:35 +01:00
ada	427bfcfe15	cleaning code	2020-11-24 02:50:45 +01:00
ada	8ad74de6a6	cleaning code	2020-11-24 02:50:13 +01:00
ada	15fb440406	cleaning code	2020-11-24 02:48:38 +01:00
ada	1c946fb32e	cleaning code	2020-11-24 02:48:22 +01:00
ada	5fe67b5db6	cleaning code	2020-11-24 02:47:23 +01:00
ada	292938dbb0	cleaning code	2020-11-24 02:35:25 +01:00
ada	06856e1941	cleaning the code	2020-11-23 14:45:01 +01:00
ada	2aa8e13e8e	improvement on zklisp	2020-11-12 17:04:19 +01:00
ada	c080a208a4	eval zk pub params into circuit	2020-11-10 17:33:45 +01:00
ada	679a072cbd	added constraint system one on dsl	2020-11-09 22:13:24 +01:00
ada	61d5caa090	added public and private symbols	2020-11-09 22:02:58 +01:00
ada	54166058d1	scalar division and jubjub.lisp updates	2020-11-09 20:22:33 +01:00
ada	63c1aee112	change default + to i+ and let + to be scalar add_assign	2020-11-09 19:57:06 +01:00
ada	958f85d06a	added operations on scalars outside of the constrains system	2020-11-09 17:37:39 +01:00
ada	2914446394	added operations on scalars outside of the constrains system	2020-11-09 17:20:11 +01:00
ada	96d391900f	added zkcircuit values on eval	2020-11-08 20:10:31 +01:00
ada	013180e43f	added zkcircuit values on eval	2020-11-08 20:02:48 +01:00
ada	13cda2df78	update todo	2020-11-05 20:48:48 +01:00
ada	6d81e016d0	added eval for add, sub of lc0 lc1 and lc2	2020-11-05 20:32:00 +01:00
ada	a4cae2aa84	eval without global circuit	2020-11-05 18:00:46 +01:00
ada	5f57b7fcb1	change eval for zkcons auto create circuit	2020-11-05 01:09:44 +01:00
ada	d952e688e9	zkcons eval working, new lisp syntax with map	2020-11-04 20:03:58 +01:00
ada	f7877f0ea3	fixing map and zkcons syntax	2020-11-04 19:38:07 +01:00
ada	82321d3645	some random updates on eval zkconst	2020-11-04 13:19:34 +01:00
ada	a15f6970ac	refactoring lisp zk eval	2020-10-30 20:49:53 +01:00
ada	fa798a8ba5	added Constraint Instructions and Variables from ZKVM to lisp env	2020-10-30 01:22:13 +01:00
ada	dd6d00f1a3	added variables from lisp to zkcircuit	2020-10-30 00:49:59 +01:00
ada	e653290e3e	adding values to zkcircuit on lisp.rs	2020-10-30 00:46:04 +01:00
ada	510634d100	adding values to zkcircuit on lisp.rs	2020-10-30 00:43:01 +01:00
ada	f7ac85519f	changed from eval to eval_ast for zconst	2020-10-29 15:33:50 +01:00
ada	40c68a60af	changed from eval to eval_ast for zconst	2020-10-29 15:06:29 +01:00
ada	a0b9a155d6	added env_get on dfconst	2020-10-29 14:41:07 +01:00
ada	153798b649	begin interacting with zkvm add lc0	2020-10-28 22:35:01 +01:00
ada	25a9f66b98	added func zkcons! to enable adding constraints instruction to the zkvm	2020-10-28 21:38:41 +01:00
ada	6813ad46bc	added func zkcons! to enable adding constraints instruction to the zkvm	2020-10-28 20:16:19 +01:00
ada	9a099f4e36	Merge branch 'feature/lisp' of github.com:narodnik/sapvi into feature/lisp	2020-10-28 01:29:16 +01:00
ada	7ed771ba5b	added zkcircuit to env	2020-10-28 01:26:55 +01:00
ada	f4dd5cf7ad	added readme	2020-10-28 01:26:55 +01:00
ada	06b382b033	added zk* function type to initiate the zkcircuit	2020-10-28 01:26:55 +01:00