18 Commits

Author	SHA1	Message	Date
Koh Wei Jie	2fb9e6bc3e	update precomputed data for one user in a test	2023-03-04 21:44:51 -08:00
Koh Wei Jie	2f8fac0b56	use ppot-rs instead of reading the SRS from a hex file	2023-03-01 15:17:03 -08:00
Koh Wei Jie	79b1cd1564	updated credits	2023-02-14 00:43:11 +08:00
Koh Wei Jie	effb0a6448	fixed typos	2023-02-12 20:59:34 +08:00
Koh Wei Jie	f0ef2c1b39	added docs/src/lagrange_basis_polynomial_commitment_tree.md	2023-02-12 20:59:34 +08:00
Koh Wei Jie	4745e56dac	renamed some variables in the multiopen prover for clarity	2023-02-12 20:59:34 +08:00
Koh Wei Jie	9449ced395	wip - added more docs; added credits to Jon and Andy	2023-02-12 20:59:34 +08:00
Koh Wei Jie	46a74814fa	added more system invariants from Semaphore	2023-02-12 20:59:34 +08:00
Koh Wei Jie	7e166d581d	wip - more work on docs, including the transcript, precomputation, and prover sections	2023-02-12 20:59:34 +08:00
Koh Wei Jie	092dc27f5c	wip - precomputation docs	2023-02-12 20:59:34 +08:00
Koh Wei Jie	5a3f14457c	[ci skip] circuit_and_gates.md done	2023-02-12 20:59:34 +08:00
Koh Wei Jie	b79a24473a	updated docs; variable name tweaks to gates; added multi_hash_two function for clarify; slight refactor to mimc7 to have a round function	2023-02-12 20:59:34 +08:00
Koh Wei Jie	0e94a200ef	added circuit and gate docs; WIP	2023-02-12 20:59:34 +08:00
Koh Wei Jie	5a98bbc42a	[ci skip] finished crypto spec section of the docs	2023-02-12 20:59:34 +08:00
Koh Wei Jie	fdf65c3848	more crypto specs in docs	2023-02-12 20:59:34 +08:00
Koh Wei Jie	1ff5bfdb8f	added info about the NUMS value and mimc7 to the docs	2023-02-12 20:59:14 +08:00
Koh Wei Jie	a9b61b2fc7	added some system invariants to the docs	2023-02-12 20:59:14 +08:00
Koh Wei Jie	d4a893f062	[ci skip] created mdbook skeleton for documentation	2023-02-12 20:59:14 +08:00