79 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	effb0a6448	fixed typos	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	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	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	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	fdf65c3848	more crypto specs in docs	2023-02-12 20:59:34 +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
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
Koh Wei Jie	af4414421f	renamed Transcript.sol and changed Solidity variables to camelCase	2022-12-09 17:48:00 +08:00
Koh Wei Jie	088bb52791	moved mimc7 to crate root	2022-12-09 17:38:15 +08:00
Koh Wei Jie	4f8f88faff	refactored G1Point and G2Point structs into of Types.sol and out of BN254.sol	2022-12-09 17:22:32 +08:00
Andrija	79f2987137	test challenge after digest	2022-12-08 14:52:50 +01:00
Andrija	0bb369d77f	implement transcript on solidity and rust side	2022-12-08 14:23:01 +01:00
Andrija	34cb8ed759	fix g2 coords ordering	2022-12-06 13:47:13 +01:00
Andrija	23ef5e979c	initial semacaulk pairing call	2022-12-06 12:28:45 +01:00
Koh Wei Jie	e5834071ac	fixed C minus newC to C plus newC	2022-12-05 14:52:07 +08:00
Koh Wei Jie	3c228ae3f0	compute tree height dynamically; updated comments	2022-12-05 14:45:38 +08:00
Koh Wei Jie	c254ee5a9a	renamed SNARK_SCALAR_FIELD to PRIME_R and fixed precompile invalid() issue	2022-12-05 14:31:14 +08:00
Koh Wei Jie	35807379ee	merged with dev and resolved most warnings	2022-12-05 14:18:36 +08:00
Koh Wei Jie	62f63d8d57	insertIdentity() done; off-chain Accumulator trait matches on-chain insertions	2022-12-05 14:06:26 +08:00
Koh Wei Jie	22e5dffb6f	completed insertIdentity(); print gas used; drop anvil instance after each test	2022-12-04 11:28:22 +08:00
Koh Wei Jie	706828d0b2	insertIndentity() now takes the X and Y point coordinates instead of the leaf hash	2022-12-03 21:53:39 +08:00
Koh Wei Jie	146343e512	lagrange tree generation and on-chain leaf verification	2022-12-03 19:30:43 +08:00
Koh Wei Jie	1e7f3d1b4d	compute_empty_accumulator()	2022-12-03 16:33:55 +08:00
Koh Wei Jie	490d318037	Semacaulk contract - WIP	2022-12-01 11:16:58 +08:00
Koh Wei Jie	c0873bcc43	updated readme; fixed tests	2022-12-01 10:43:54 +08:00
Koh Wei Jie	04ef9ebecb	use semaphore-rs merkle tree impl	2022-12-01 00:58:50 +08:00
Koh Wei Jie	ffbb7897eb	implemented genRootFromPath with simple tests	2022-11-30 16:47:45 +08:00
Koh Wei Jie	597220a03a	foundry boilerplate with contract function test	2022-11-30 13:01:50 +08:00
Andrija	474281aa88	enable transcript to use keccak	2022-11-28 16:40:32 +01:00
Andrija	572272a25f	remove unused information	2022-11-28 15:28:06 +01:00
Andrija	a37e0891ca	Merge branch 'dev' of github.com:geometryresearch/semacaulk into dev ... git pull	2022-11-28 15:21:32 +01:00