10744 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
narodnik	c35f43e9f3	pipe just generated file throught rustfmt instead of doing on entire project	2020-09-21 10:23:28 +02:00
narodnik	e710fb2cd4	split off codgen functions into a separate module. have working ec ops	2020-09-21 10:18:27 +02:00
narodnik	7833f69ede	indent, tidy and cleanup working.pism	2020-09-20 22:34:53 +02:00
narodnik	d2417f29d2	add simple.prf file	2020-09-20 22:29:07 +02:00
narodnik	9096fe173f	remove unused imports from simple.rs	2020-09-20 22:26:57 +02:00
narodnik	859d7e61f5	add run script for simple cradle	2020-09-20 22:19:18 +02:00
narodnik	bd29e9a12d	working cradle!	2020-09-20 22:18:22 +02:00
narodnik	0bb0da0e03	add aux support for hooking up const values	2020-09-20 22:08:14 +02:00
narodnik	5989b9ef1c	working simple example	2020-09-20 21:31:36 +02:00
narodnik	ad6d3eb074	simple proof	2020-09-20 21:14:59 +02:00
narodnik	20424ce011	pism	2020-09-20 18:38:26 +02:00
narodnik	5828bee338	move out old schemas	2020-09-20 01:21:56 +02:00
narodnik	133e94b2d9	finished pism spec	2020-09-20 01:15:06 +02:00
narodnik	6dc84fd26e	pism work	2020-09-19 14:16:41 +02:00
narodnik	8d17c4785c	add new psuedocode contract script file	2020-09-18 17:52:05 +02:00
narodnik	f0ac762e16	fix mistakes with types and missing qualifiers	2020-09-14 02:52:26 +02:00
narodnik	f92656c8be	script to make a compile test	2020-09-14 02:16:47 +02:00
narodnik	99dcc69b6d	compiler now outputting rust code	2020-09-14 02:13:13 +02:00
narodnik	e4a2f3e1e6	split up parser code	2020-09-13 19:52:19 +02:00
narodnik	f7b027c100	spaghetti	2020-09-13 19:18:46 +02:00
narodnik	5a13266cc4	parse consts	2020-09-13 16:34:34 +02:00
narodnik	e041a01e29	single end emit statement	2020-09-13 14:13:43 +02:00
narodnik	c7a252ef8b	another variant	2020-09-12 23:53:20 +02:00
narodnik	07c63e8ffe	add missing :	2020-09-12 23:47:26 +02:00
narodnik	b9bfb860af	another proof script variant	2020-09-12 23:46:00 +02:00
narodnik	4729c2a2e4	bls vs jj scalar note	2020-09-11 13:34:22 +02:00
narodnik	c3f09e946a	initial lang stuff	2020-09-11 13:31:40 +02:00
narodnik	ab490a0fa1	show num constraints for PH	2020-09-05 02:20:35 +02:00
narodnik	3d5d234fb8	update	2020-09-04 22:14:26 +02:00
narodnik	72a3cc62f3	fix sha256 warnings	2020-08-30 17:57:39 +02:00
narodnik	a5753a1325	update mimc	2020-08-30 16:25:42 +02:00
narodnik	9da047877e	added pedersen hash	2020-08-30 15:58:20 +02:00
narodnik	12ab41bc64	added blake2s	2020-08-30 14:41:35 +02:00
narodnik	de5441ef33	verify spends and outputs	2020-08-28 17:36:25 +02:00
narodnik	b2c0e8eae8	verify spends and outputs	2020-08-28 17:34:08 +02:00
narodnik	840ea81b74	tidy up headers and run fmt	2020-08-28 16:52:06 +02:00
narodnik	3cbaae282f	cleanup	2020-08-28 16:48:24 +02:00
narodnik	42672734a4	tx signatures and sighash commit balance	2020-08-28 16:45:25 +02:00
narodnik	971d1cc88a	add spend	2020-08-28 16:32:50 +02:00
narodnik	d9916dd97b	expand readme	2020-08-28 00:24:41 +02:00
narodnik	014d72baa7	zec send output tx	2020-08-28 00:19:26 +02:00
narodnik	fde6105329	lower samples	2020-08-20 21:50:20 +02:00
narodnik	c6e28002fd	add mimc code	2020-08-20 21:47:34 +02:00
narodnik	2cf6a85a81	initial commit	2020-08-20 21:13:09 +02:00