107 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Koh Wei Jie	c3b719f8bc	check in Semacaulk and Verifier ABI files	2023-03-09 16:53:23 -08:00
Koh Wei Jie	2fb9e6bc3e	update precomputed data for one user in a test	2023-03-04 21:44:51 -08:00
Koh Wei Jie	cab61bc3a9	attempt to fix rustfmt step in CI	2023-03-01 15:51:58 -08:00
Koh Wei Jie	6dd9211d83	fixed semaphore-rs version	2023-03-01 15:36:06 -08:00
Koh Wei Jie	e7786ec544	fixed ppot-rs version	2023-03-01 15:33:38 -08:00
Koh Wei Jie	158377e75f	updated readme	2023-03-01 15:19:42 -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	c44136272c	revert magicgh/mdbook-katex-action	2023-02-14 16:12:13 +08:00
Koh Wei Jie	e8772cde03	try magicgh/mdbook-katex-action	2023-02-14 16:06:49 +08:00
Koh Wei Jie	d49498e004	try peaceiris/actions-mdbook	2023-02-14 16:05:02 +08:00
Koh Wei Jie	859c638cb1	attempt to fix gh-pages deployment	2023-02-14 00:54:01 +08:00
Koh Wei Jie	1eca14f169	attempt to fix gh-pages deployment	2023-02-14 00:43:11 +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	a5ae787b82	wip test to update precomputed data; cargo fmt	2023-02-12 20:59:34 +08:00
Koh Wei Jie	1b5839aeb7	added more comments to the prover and veriifer	2023-02-12 20:59:34 +08:00
Koh Wei Jie	a7864b44b0	mdbook-katex	2023-02-12 20:59:34 +08:00
Koh Wei Jie	fdc0db5934	prevent users from inserting the same identity more than once or inserting the zero value; range check the identity commitment; update Constants.sol to remove repeition	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	5cc1e326c2	renamed v to u_prime_opening 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	3f2326fcd8	re-enabled transcript contract tests	2023-02-12 20:59:34 +08:00
Koh Wei Jie	60fcb54492	renamed updateWithU256 to updateWithF and add a mod operation to keep the input within the field	2023-02-12 20:59:34 +08:00
Koh Wei Jie	7393f0471d	add publish.yml	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	ca55d15de1	renamed openings.c and commitments.c to mimc_cts	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
Koh Wei Jie	612729481d	Demo (#17) ... Co-authored-by: Kobi Gurkan <kobigurk@gmail.com>	2023-01-29 21:26:40 +08:00
Kobi Gurkan	0828fe6cb3	feat: adds basic CI (#14) ... Co-authored-by: Koh Wei Jie <contact@kohweijie.com>	2023-01-27 10:37:28 +02:00
Koh Wei Jie	9f2676456d	Full broadcastSignal flow (#16)	2023-01-27 12:17:16 +08:00
Koh Wei Jie	943807d761	Full Solidity verifier (#12)	2023-01-24 16:08:52 +01:00
Andrija Novakovic	ed41c76e2e	Feature/fast ri (#10)	2023-01-17 23:23:04 +08:00
Koh Wei Jie	394b4ed371	InsertIdentity contract event (#8)	2022-12-29 15:26:13 +01:00
Andrija Novakovic	cc078a3ea6	Feature/fast ri (#7)	2022-12-29 10:43:19 +02:00
Koh Wei Jie	4a9ca8aeb4	Tweaks and tests for the layouter (#5)	2022-12-22 12:45:44 +02:00
Andrija	1217cb8e18	implementation of custom gates with modified caulk+ prover	2022-12-09 20:16:30 +01:00
Andrija	f51b74194f	fix checking srs size in commit	2022-12-09 17:08:15 +01:00
Andrija	fbf936b428	add prover and layouter	2022-12-09 16:49:56 +01:00
Andrija Novakovic	47e303076c	Merge pull request #4 from geometryresearch/refactor ... Quick refactor	2022-12-09 12:33:25 +01:00
Koh Wei Jie	e76dd3733b	refactored commonly used operations in contract tests to setup_eth_backend and deploy_semacaulk	2022-12-09 18:19:44 +08:00