thomaslavaur
|
dcfe7c55c8
|
swhitch to big endian everywhere
|
2025-09-29 09:53:02 +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 |
|
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
|
64bcc837b6
|
Merge branch 'Circom' of https://github.com/logos-co/nomos-pocs into Circom
|
2025-08-13 10:12:05 +02:00 |
|
thomaslavaur
|
1a18ddaa83
|
modifying input generators to fmt
|
2025-08-13 10:11:48 +02:00 |
|
Alexander Mozeika
|
bef9d6046e
|
Merge pull request #86 from logos-co/add-Calculator
Add anonymity calculator
|
2025-08-07 15:49:30 +01:00 |
|
alexander mozeika
|
829e5ceb61
|
Cleanup: Remove unnecessary files from Calculator
|
2025-08-07 15:34:06 +01:00 |
|
alexander mozeika
|
c706c9f348
|
Cleanup: Remove unnecessary files from Calculator
|
2025-08-07 15:04:22 +01:00 |
|
alexander mozeika
|
070268f27d
|
Add .gitignore
|
2025-08-07 12:38:16 +01:00 |
|
alexander mozeika
|
747a1d4943
|
Add Calculator tool from personal repo
|
2025-08-07 12:24:35 +01:00 |
|
Álex
|
04a8683cde
|
ci: Split circuit bundle into one per each (#85)
|
2025-08-07 11:36:29 +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 |
|