52 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
themighty1	6c1b1e3e63	cleanups before PR upstream	2022-10-13 16:18:37 +03:00
Dan	567537cc37	Merge pull request #1 from tlsnotary/rust_impl ... Rust impl	2022-10-12 15:42:50 +00:00
themighty1	27a55ab408	pdf	2022-10-12 18:40:56 +03:00
themighty1	d414fb141e	bench and misc	2022-10-12 18:39:57 +03:00
themighty1	58a2493ce8	add readme	2022-10-12 18:07:23 +03:00
themighty1	2d4a24c101	add generated poseidon params	2022-10-12 17:46:49 +03:00
themighty1	2c69326a0b	cleanups	2022-10-11 10:23:43 +03:00
themighty1	b1585cb3ea	more tests	2022-10-10 17:40:52 +03:00
themighty1	455420b282	halo2 wip and tests	2022-10-06 15:43:49 +03:00
themighty1	cffba8cc6e	wip	2022-09-21 15:28:13 +03:00
themighty1	e9b95af414	ported halo2 circuit	2022-09-20 14:09:12 +03:00
themighty1	98d83898f5	added halo2 prover	2022-09-16 14:11:14 +03:00
themighty1	cb51765a0e	added arkworks poseidon	2022-09-02 09:14:55 +03:00
themighty1	ad2652a79b	add arith label check	2022-08-29 17:42:52 +03:00
themighty1	4c0eec8d5e	wip	2022-08-26 18:01:10 +03:00
themighty1	5b3c26ed8f	labelsum salt works	2022-08-26 11:27:13 +03:00
themighty1	963b16ee0e	add missing files	2022-08-26 09:12:32 +03:00
themighty1	1f2be7d308	verif fails	2022-08-26 09:08:15 +03:00
themighty1	d66f4d9046	96-bit arithmetic labels	2022-08-25 16:53:57 +03:00
themighty1	b9df2124e9	pass proving key to js	2022-08-25 15:47:52 +03:00
themighty1	9c1736fdf8	typestates for verifier	2022-08-25 15:30:48 +03:00
themighty1	84f902436a	wip. will add some more steps to the protocol	2022-08-25 13:44:28 +03:00
themighty1	d45e409aa5	typestates work	2022-08-24 15:49:06 +03:00
themighty1	46b18683e4	commit before starting impl typestates	2022-08-23 11:07:25 +03:00
themighty1	aa2896eeb6	wip	2022-08-22 20:37:16 +03:00
themighty1	b5d7203228	wip	2022-08-22 19:55:01 +03:00
themighty1	e3358c757d	works	2022-08-22 17:50:01 +03:00
themighty1	db9b21a399	improved pattern	2022-08-22 14:30:04 +03:00
themighty1	4daafbae12	more files	2022-08-19 18:44:44 +03:00
themighty1	1ad64091c0	will impl VerifierGetSet	2022-08-19 17:51:19 +03:00
themighty1	8f888bca07	new dir structure	2022-08-19 10:48:54 +03:00
themighty1	b9561ee927	use box	2022-08-17 19:06:45 +03:00
themighty1	0abb37b06b	wip commit to figure out lifetimes	2022-08-17 17:47:02 +03:00
themighty1	63d85ee278	both traits work	2022-08-14 17:11:26 +03:00
themighty1	42946d0834	prover trait	2022-08-14 14:13:25 +03:00
themighty1	c445735b09	will create a trait for node/wasm separation	2022-08-14 13:43:40 +03:00
themighty1	e99024d2af	multi proof works	2022-08-14 11:21:44 +03:00
themighty1	75d75ce49f	chunking works with 1 chunk	2022-08-11 16:10:42 +03:00
themighty1	5dff68b194	added temp files	2022-08-09 19:50:43 +03:00
themighty1	b06641c093	verifier generates public.json	2022-08-09 18:09:37 +03:00
themighty1	65c2ded97c	e2e works (still need to generate public.json on verifier side)	2022-08-08 15:19:31 +03:00
themighty1	9b903c4f86	bin2ar works	2022-08-08 14:01:44 +03:00
themighty1	308212a335	fix circuit	2022-08-04 09:55:51 +03:00
themighty1	6cde8c1850	e2e works	2022-08-04 09:44:55 +03:00
themighty1	14810c616e	30 bytes/2Ghz core/sec	2022-08-03 19:18:05 +03:00
themighty1	bbafcd321d	Circuit for 16 Field elements (no salt yet).	2022-08-03 15:42:57 +03:00
themighty1	de09f4daaf	wip will modify circuit.circom to not chain hashes	2022-08-03 07:27:21 +03:00
themighty1	f1a6f92f07	wip	2022-07-29 13:16:29 +03:00
themighty1	09acee32bc	more verbose diagram	2022-07-27 09:24:57 +03:00
themighty1	dfd27d8e1c	add diagram	2022-06-03 22:27:42 +03:00