212 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
ada	4d6b06b579	added TODO.md for lisp	2020-10-28 01:26:55 +01:00
ada	3d70e4fabc	added clap info	2020-10-28 01:26:55 +01:00
ada	a4c863e4bb	fn* for zk circuit	2020-10-28 01:26:55 +01:00
ada	f4fe7408cf	added zn* function definition	2020-10-28 01:26:55 +01:00
ada	97c99c75ea	added zn* function definition	2020-10-28 01:26:55 +01:00
ada	6aaf197f6c	update zklisp with cs methods	2020-10-28 01:26:55 +01:00
ada	fb843272c5	added lib.rs and bits.lisp	2020-10-28 01:26:55 +01:00
ada	cd67a8c8c7	refactoring lisp code	2020-10-28 01:26:55 +01:00
ada	46bcb45051	upgrading jubjub to mal language	2020-10-28 01:26:55 +01:00
ada	fea2b6c313	added lisp files	2020-10-28 01:26:55 +01:00
ada	e27ac3d452	added mal lisp and jubjub unfinished sample	2020-10-28 01:26:55 +01:00
ada	5153df63c1	exploring read function	2020-10-28 01:26:55 +01:00
ada	2a198b8a75	prototyping lisp v0	2020-10-28 01:26:55 +01:00
ada	8ad7001664	prototyping lisp v0	2020-10-28 01:26:55 +01:00
ada	2499b47560	prototyping lisp v0	2020-10-28 01:26:55 +01:00
ada	13366f74c1	prototyping lisp v0	2020-10-28 01:26:55 +01:00
ada	ca399e318f	added readme	2020-10-27 22:38:38 +01:00
ada	0c3a18a422	added zk* function type to initiate the zkcircuit	2020-10-27 22:34:03 +01:00
ada	33210d7fe6	added TODO.md for lisp	2020-10-27 21:07:51 +01:00
ada	53aef82501	added clap info	2020-10-27 21:07:08 +01:00
ada	4e620be9f1	fn* for zk circuit	2020-10-27 20:45:34 +01:00
ada	1154104ae5	added zn* function definition	2020-10-27 18:28:23 +01:00
ada	c304c68e3e	added zn* function definition	2020-10-27 18:22:11 +01:00
ada	be8378d44d	update zklisp with cs methods	2020-10-25 21:15:44 +01:00
ada	eec38d5c3f	added lib.rs and bits.lisp	2020-10-24 20:56:42 +02:00
rachel-rose	f51ddea3fd	bash script for mimc on zkvm	2020-10-24 12:48:32 +02:00
rachel-rose	92a0d1c0d6	got mimc/params working	2020-10-24 12:46:24 +02:00
rachel-rose	59177163cb	commented out jubjub specific check	2020-10-24 11:44:16 +02:00
ada	1c0cc4721b	refactoring lisp code	2020-10-23 20:55:16 +02:00
ada	10b140bf91	upgrading jubjub to mal language	2020-10-23 19:01:50 +02:00
ada	a8ca6b0c81	added lisp files	2020-10-23 17:36:21 +02:00
ada	a1d5f0cc38	added mal lisp and jubjub unfinished sample	2020-10-23 17:30:53 +02:00
rachel-rose	8aab25d30b	added .zts file to contract.setup() call	2020-10-22 22:42:13 +02:00
rachel-rose	852820ae68	added zts file to contract.setup() call	2020-10-22 22:39:58 +02:00
ada	9e52cb7304	exploring read function	2020-10-22 21:18:22 +02:00
ada	ae3399a826	prototyping lisp v0	2020-10-22 20:22:40 +02:00
ada	7068ca4ab0	prototyping lisp v0	2020-10-22 19:54:24 +02:00
ada	2e6c6857e9	prototyping lisp v0	2020-10-22 19:46:31 +02:00