68 Commits

Author	SHA1	Message	Date
thomaslavaur	463cb1ce7d	fix t0 and t1 constants	2025-09-09 13:28:46 +02:00
thomaslavaur	ce997d91f5	Delete circom_circuits/Mantle/proof_of_claim.circom ... renamed poc	2025-09-08 11:44:20 +02:00
thomaslavaur	d7b36a5964	Merge branch 'master' into Circom	2025-09-08 11:40:51 +02:00
thomaslavaur	f8a2cba8be	minor fix in names and python	2025-09-08 11:38:26 +02:00
thomaslavaur	7d9ba0caa6	fix something that was computing t0 and t1 wrong	2025-09-05 12:30:02 +02:00
Álex	882f2c468a	chore: Split common functions PoL. (#95)	2025-09-04 13:27:01 +02:00
thomaslavaur	0a989fe711	put credible values for key	2025-09-03 16:03:37 +02:00
thomaslavaur	ef6d419aa1	add string to modified last value for core/leader case	2025-09-03 15:48:58 +02:00
thomaslavaur	3f12e9c279	use euclidean division to match the rust implementation (the difference is negligible as it would make you lose 1 block every 10^16 blocks that you should have win	2025-09-02 10:33:02 +02:00
thomaslavaur	748009d0a0	fixed the generation of test that was miscalculating t0 and t1	2025-09-02 10:13:07 +02:00
thomaslavaur	c4a41d9963	forgot to finalize	2025-08-28 15:46:28 +02:00
thomaslavaur	11ef81c577	update constants	2025-08-28 15:45:26 +02:00
thomaslavaur	b95cfadb22	add the explanation for dummy constraints in poq	2025-08-28 08:55:30 +02:00
thomaslavaur	1386cfa618	update the constant according to engineering discussion	2025-08-27 10:01:12 +02:00
thomaslavaur	d2c15d96c1	bring back the SafeLessThan	2025-08-26 15:36:55 +02:00
thomaslavaur	fa940b1ed2	We audited it with Mehmet	2025-08-26 15:12:48 +02:00
thomaslavaur	cfbf7f3c4d	updated constants	2025-08-26 11:37:19 +02:00
thomaslavaur	da383e1a87	ensured everything is aligned with the specs	2025-08-26 10:37:51 +02:00
thomaslavaur	da9101c761	removed the secrets_root input from pol and poq	2025-08-26 09:57:02 +02:00
thomaslavaur	5c0465a41e	updated the circuit to reflect the names of the specs	2025-08-25 15:51:48 +02:00
thomaslavaur	73e5ecb7e7	changing the initializing vector to 0	2025-08-19 16:00:17 +02:00
thomaslavaur	7d903540dc	modified poseidon2 parameters to fit Authors parameters	2025-08-19 15:23:13 +02:00
thomaslavaur	c331076719	fix forgotten check that selector is indeed a bit	2025-08-14 13:43:30 +02:00
thomaslavaur	d818775fbc	remove unecessary stuff	2025-08-13 15:32:54 +02:00
thomaslavaur	bf33af5e8f	add the proof of claim circuit	2025-08-13 11:13:01 +02:00
thomaslavaur	1a18ddaa83	modifying input generators to fmt	2025-08-13 10:11:48 +02:00
thomaslavaur	bf660edf28	Merge branch 'Circom' of https://github.com/logos-co/nomos-pocs into Circom	2025-08-07 08:39:43 +02:00
thomaslavaur	fe0f02808b	split the key in two inputs	2025-08-07 08:38:51 +02:00
Álex	75a0da2036	ci: Prover (#81) ... * Add rapidsnark as submodule. * Implement prover and verifier building for linux, windows and macos.	2025-08-05 15:44:18 +02:00
thomaslavaur	1d4e20bfed	fix Public entries	2025-08-04 14:11:36 +02:00
thomaslavaur	1a4658b51b	fix one time key input of pol	2025-08-04 14:07:01 +02:00
thomaslavaur	876d7d6d8e	change win pol by would win	2025-07-03 07:45:51 +02:00
thomaslavaur	360a964ee8	updated poq removing the need to verify the winning note is unspent	2025-05-30 12:20:28 +02:00
thomaslavaur	8d341328cd	fix t1 computation in threshold for pol	2025-05-30 10:17:46 +02:00
thomaslavaur	5070dbf597	fix wrong computation of t1	2025-05-30 08:24:45 +02:00
thomaslavaur	8ca15737d3	added input generator and fixed things	2025-05-27 15:55:13 +02:00
thomaslavaur	abf538d8c2	modified constants to use blake instead of sha	2025-05-27 14:35:49 +02:00
thomaslavaur	afedb7a2b1	delete deprecated stuff	2025-05-27 12:47:31 +02:00
thomaslavaur	3b30218681	renamed ownership into zksignature	2025-05-27 12:39:58 +02:00
thomaslavaur	28c9144907	updated input generation file for pol	2025-05-27 12:03:19 +02:00
thomaslavaur	97b58cb392	correct PoL circom circuit	2025-05-27 11:52:14 +02:00
thomaslavaur	52566248ba	remove DS file from Mehmet :) and updated constants	2025-05-27 11:44:13 +02:00
mgonen	7cd5f9b3ea	Wire PoL inputs into PoQ circuit	2025-05-27 11:41:50 +03:00
thomaslavaur	676acc9feb	add the PoQ and corrected a lot of stuff related to Mantle updates	2025-05-26 11:05:08 +02:00
thomaslavaur	30ab8f7eda	remove shielded sets from circom circuits	2025-04-29 11:32:56 +02:00
thomaslavaur	83d4a7dbee	derive the unit using the new unit_arg	2025-04-14 11:21:06 +02:00
thomaslavaur	ec0eef618d	fixed generation of ownership inputs	2025-04-11 09:40:13 +02:00
thomaslavaur	36d2c7a31c	remove deprecated proof	2025-04-10 10:58:03 +02:00
thomaslavaur	11b9d06357	edit pol with the new shielded and unshielded notes	2025-04-10 10:40:20 +02:00
thomaslavaur	4843f7140d	fix forgotten error	2025-04-09 14:36:32 +02:00