139 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
David Rusu	903cefd173	cl: nullifier proof	2024-07-08 17:48:49 -04:00
David Rusu	b0cb075f58	cl: drop blake2; print prover time	2024-07-05 06:38:56 +00:00
Giacomo Pasini	bf25df4c6e	switch to curve25519-dalek	2024-07-03 12:30:32 +02:00
David Rusu	8205f027db	fix risc0 patching	2024-07-03 02:15:11 +00:00
David Rusu	2f2a9c86b5	cl: pre-compute pederson blinding	2024-06-28 16:04:26 +00:00
David Rusu	c8fc353cf2	switch balance commitment to linear combination	2024-06-28 15:30:09 +00:00
David Rusu	69795b8296	cl: pre-compute balance unit point outside stark	2024-06-28 00:54:21 +00:00
David Rusu	a819123bc3	cl: swap jubjub for accel k256	2024-06-27 16:00:42 +00:00
David Rusu	89c70ea0e2	cl: add missing cl patches	2024-06-27 13:19:33 +00:00
David Rusu	ac6f7279a6	cl: integrate simple zone into CL data model	2024-06-27 07:24:27 +00:00
David Rusu	50d17ddc25	cl: begin integrating zone into cl data modal	2024-06-27 02:35:18 -04:00
David Rusu	0b2ca37f59	cl: partial tx can compute paths to inputs / outputs	2024-06-27 02:31:56 -04:00
David Rusu	9c1317f55b	cl: turn data model into library	2024-06-27 01:16:55 -04:00
David Rusu	756de554dc	cl: tests passing again	2024-06-27 01:13:44 -04:00
David Rusu	750038c2f8	cl: move from Commitment::from_witness to Witness::commit()	2024-06-26 23:16:57 -04:00
David Rusu	90d13f8225	cl: ptx root implemented via merkle roots over inputs and outputs	2024-06-26 22:56:58 -04:00
David Rusu	7d3e849c5f	cl: merkle tree helper to pad elements	2024-06-26 22:40:02 -04:00
David Rusu	e7d6089e51	cl: merkle proofs	2024-06-26 22:17:30 -04:00
David Rusu	a6bbd56f64	cl: rename Note to NoteWitness	2024-06-26 14:14:56 -04:00
Giacomo Pasini	bbc7914aa9	Add separate bin for stark2snark conv	2024-06-26 16:53:21 +02:00
Giacomo Pasini	3c991173c5	fix zone PoC	2024-06-26 11:33:52 +02:00
Giacomo Pasini	507e1627d7	refactor risc0 zone	2024-06-20 19:04:31 +02:00
Giacomo Pasini	b2c0f7eda0	add risc0 zone	2024-06-19 20:15:59 +02:00
David Rusu	96482b219a	cl: integrate groth16 death constraint validation	2024-06-19 18:49:21 +02:00
David Rusu	993ecf13b5	cl: swap out ExtendedPoint for SubgroupPoint	2024-06-15 18:21:51 -04:00
David Rusu	913064da39	cl: verify bundle isn't balanced with just one unbalanced partial tx	2024-06-15 09:18:03 -04:00
David Rusu	d6d3dcab12	cl: bundle of ptx	2024-06-15 00:53:00 -04:00
David Rusu	33ee6dea8c	cl: reverse partial tx balance (inputs are neg, outputs are pos)	2024-06-14 14:12:46 -04:00
David Rusu	2ea4a4d351	cl: test partial transaction balance commitment	2024-06-14 14:07:59 -04:00
David Rusu	7ba69caccb	drop python cl spec	2024-06-14 11:56:38 -04:00
David Rusu	5ce7b253cf	cl: partial transactions can now be built and verified	2024-06-13 17:24:02 -04:00
David Rusu	7db1420194	cl: output proof tests	2024-06-13 13:43:09 -04:00
David Rusu	cc8c6e31cb	cl: partial_tx; input; output	2024-06-13 12:12:08 -04:00
David Rusu	26f6fe54f6	cl: add nullifier module	2024-06-12 16:28:49 -04:00
David Rusu	06a085a295	cl: split balance test	2024-06-12 00:08:53 -04:00
David Rusu	fe6764d56e	cl: split main.rs into crypto.rs and note.rs	2024-06-12 00:02:08 -04:00
David Rusu	258d28b7f9	wip: cl	2024-06-11 23:40:50 -04:00
David Rusu	f4f1e78d0c	cl: testing the balance commitments	2024-06-03 09:52:36 -04:00
David Rusu	b2b2213bd6	cl: remove unused classes	2024-05-31 12:55:08 +04:00
David Rusu	a85aaf1824	cl: remove tx_output from 1-to-1 transfer	2024-05-31 12:36:41 +04:00
David Rusu	50a7e1a261	cl/ptx: 1-to-1 test is passing, but still, not quite finished	2024-05-30 16:57:19 +04:00
David Rusu	8e98d89a0b	cl/ptx-note-proofs: start data modelling input and outputs	2024-05-30 16:01:41 +04:00
David Rusu	71ede291d2	cl/noir: mv noir_constraint wrapper into cl/constraints/...	2024-05-29 13:22:23 +04:00
David Rusu	5cae33a95a	cl/ptx: get balance commitments working	2024-05-29 12:50:24 +04:00
David Rusu	e25051b582	cl: add type checking to InnerNote	2024-05-28 23:32:32 +04:00
David Rusu	7074a3b0a2	feat(cl/1to1_xfr): fungibility domain uses hash_to_curve	2024-05-28 23:28:57 +04:00
David Rusu	5044486f36	hack(crypto): mock up a hash_to_curve implementation	2024-05-28 23:27:55 +04:00
David Rusu	7405b31378	crypto: make sure prf returns field elements, fix ECC math in pedcom	2024-05-28 23:26:53 +04:00
David Rusu	189ab5240d	hack: Vacous hash function	2024-05-28 23:25:53 +04:00
David Rusu	9e1fb74f93	WIP: test_1_to_1_transfer	2024-05-27 18:58:45 +04:00