11 Commits

Author	SHA1	Message	Date
Koh Wei Jie	f526f7b035	fix semaphore-rs rev; removed typo in readme	2023-03-27 17:00:27 -07:00
Koh Wei Jie	612729481d	Demo (#17) ... Co-authored-by: Kobi Gurkan <kobigurk@gmail.com>	2023-01-29 21:26:40 +08:00
Andrija	fbf936b428	add prover and layouter	2022-12-09 16:49:56 +01:00
Koh Wei Jie	35807379ee	merged with dev and resolved most warnings	2022-12-05 14:18:36 +08:00
Koh Wei Jie	1e7f3d1b4d	compute_empty_accumulator()	2022-12-03 16:33:55 +08:00
Koh Wei Jie	c0873bcc43	updated readme; fixed tests	2022-12-01 10:43:54 +08:00
Andrija	474281aa88	enable transcript to use keccak	2022-11-28 16:40:32 +01:00
Andrija	3762641f70	verifier & precomputed tests	2022-11-28 00:52:00 +01:00
Koh Wei Jie	38a31dc9eb	fixed conflicts	2022-11-26 10:01:36 +08:00
Andrija	3942257b4d	caulk plus prover	2022-11-25 01:18:32 +01:00
Koh Wei Jie	7374659154	gate 1 sanity check done; gate 2 sanity check WIP	2022-11-24 14:06:03 +08:00