thomaslavaur
|
bc35ce9b2c
|
Merge pull request #106 from logos-co/Poseidon_optimization
also add compression for public keys, nullifiers, vouchers
|
2025-11-18 12:41:50 +01:00 |
|
thomaslavaur
|
6b9c8dfe06
|
also add compression for public keys
|
2025-11-18 08:14:31 +01:00 |
|
thomaslavaur
|
8a435be858
|
Merge pull request #105 from logos-co/Poseidon_optimization
Poseidon optimization
|
2025-11-17 13:03:48 +01:00 |
|
thomaslavaur
|
f10289b3ad
|
last thing
|
2025-11-17 11:06:30 +01:00 |
|
thomaslavaur
|
d623331a34
|
last fix
|
2025-11-17 11:05:11 +01:00 |
|
thomaslavaur
|
6d71ee945d
|
remove from note the compression - only in Merkle tree
|
2025-11-17 10:55:09 +01:00 |
|
thomaslavaur
|
c5b746665c
|
modify hash to use compression() instead of poseidon2_hash(2)
|
2025-11-17 10:38:39 +01:00 |
|
davidrusu
|
51cb0ba20c
|
Merge pull request #104 from logos-co/drusu/update-pact-poc
emmarin: update risc0 to v3
|
2025-10-27 08:35:32 -04:00 |
|
David Rusu
|
7818d45a3a
|
emmarin: update risc0 to v3
|
2025-10-19 23:45:26 +04:00 |
|
thomaslavaur
|
27f0074d18
|
Merge pull request #103 from logos-co/revert-101-tl/fix_pol_cst
Revert "swhitch to big endian everywhere"
|
2025-09-30 09:47:49 +02:00 |
|
thomaslavaur
|
1b6ba734a4
|
Revert "swhitch to big endian everywhere"
|
2025-09-30 09:39:05 +02:00 |
|
thomaslavaur
|
1435ae4005
|
Merge pull request #101 from logos-co/tl/fix_pol_cst
swhitch to big endian everywhere
circom_circuits-v0.4.0
|
2025-09-29 09:58:15 +02:00 |
|
thomaslavaur
|
dcfe7c55c8
|
swhitch to big endian everywhere
|
2025-09-29 09:53:02 +02:00 |
|
thomaslavaur
|
127727d648
|
Merge pull request #100 from logos-co/tl/fix_pol_cst
fix t0 and t1 constants
|
2025-09-16 09:36:20 +02:00 |
|
thomaslavaur
|
6ec6f374a1
|
remove useless print
|
2025-09-09 13:32:33 +02:00 |
|
thomaslavaur
|
463cb1ce7d
|
fix t0 and t1 constants
|
2025-09-09 13:28:46 +02:00 |
|
Daniel Sanchez
|
167923137a
|
Merge pull request #99 from logos-co/fix/ci/poc-name
fix(ci): Fix poc name.
circom_circuits-v0.3.0
|
2025-09-08 12:53:45 +02:00 |
|
Alejandro Cabeza Romero
|
f9ce1c141c
|
Fix poc file name. Add to release.
|
2025-09-08 12:52:30 +02:00 |
|
Álex
|
4930c5cc5a
|
ci(circuits): Compile and bundle proof of claim. (#98)
|
2025-09-08 12:15:50 +02:00 |
|
thomaslavaur
|
93990b04b5
|
Merge pull request #94 from logos-co/Circom
fixed the generation of test that was miscalculating t0 and t1
|
2025-09-08 11:44:53 +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 |
|
Álex
|
b2905f90bd
|
refactor(ci): Abstract witness generator into action (#97)
* Asbtract witness generator compilation and bundling into action.
* Rename arch names so they follow Rust's standard.
circom_circuits-v0.2.0
|
2025-09-05 17:07:35 +02:00 |
|
Álex
|
dfeaea6315
|
chore(circuits): Bundle PoQ and ZKSign (#96)
* Add PoQ bundling.
* Add ZKSign bundling.
|
2025-09-05 16:58:52 +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 |
|
Álex
|
7f333d44cb
|
fix(ci): Fix circuit tag parsing. (#93)
circom_circuits-v0.1.0
|
2025-09-01 17:53:47 +02:00 |
|
Álex
|
36c647f85e
|
ci: Publish a circuit release only when tagged appropriately (#92)
|
2025-09-01 17:09:06 +02:00 |
|
Álex
|
6f898f02b3
|
ci(circuits): Simplify makefiles (#91)
* Simplify witness generator makefile.
* Simplify prover makefile.
|
2025-09-01 16:31:04 +02:00 |
|
Álex
|
7f75894323
|
ci(circuits): Static linking (#90)
* Add static linking to witness generator, prover and verifier.
* Remove DLL bundling in witness generator for Windows' build.
|
2025-09-01 16:13:14 +02:00 |
|
Álex
|
8e3ed28ecf
|
ci: Add version tagging to circuit workflow (#87)
|
2025-09-01 15:28:28 +02:00 |
|
thomaslavaur
|
3f66449b0c
|
Merge pull request #89 from logos-co/Circom
Circom circuits added
|
2025-09-01 15:26:26 +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 |
|