Commit Graph

  • 91b4b4d9f4
    Merge 73441efb697be01a98b453bba09933e370219433 into bc35ce9b2c3a6729bcbb47fc2e5b6b6866799451 Andrus Salumets 2025-11-20 08:40:57 -08:00
  • bc35ce9b2c
    Merge pull request #106 from logos-co/Poseidon_optimization master thomaslavaur 2025-11-18 12:41:50 +01:00
  • 6b9c8dfe06 also add compression for public keys thomaslavaur 2025-11-18 08:14:31 +01:00
  • 8a435be858
    Merge pull request #105 from logos-co/Poseidon_optimization thomaslavaur 2025-11-17 13:03:48 +01:00
  • f10289b3ad last thing thomaslavaur 2025-11-17 11:06:30 +01:00
  • d623331a34 last fix thomaslavaur 2025-11-17 11:05:11 +01:00
  • 6d71ee945d remove from note the compression - only in Merkle tree thomaslavaur 2025-11-17 10:55:09 +01:00
  • c5b746665c modify hash to use compression() instead of poseidon2_hash(2) thomaslavaur 2025-11-17 10:38:39 +01:00
  • 51cb0ba20c
    Merge pull request #104 from logos-co/drusu/update-pact-poc davidrusu 2025-10-27 08:35:32 -04:00
  • 7818d45a3a emmarin: update risc0 to v3 David Rusu 2025-10-19 23:38:34 +04:00
  • 4de3e1e68e storage benchmarks infrastructure storage-benches andrussal 2025-10-06 11:11:53 +02:00
  • a57378bb0b Parallelization and tweaks to network delay simulation cryptarchia-v2 Álvaro Castro-Castilla 2025-10-06 11:57:58 +05:00
  • be311c1e23 Network delay vs reorg plot Álvaro Castro-Castilla 2025-10-03 10:52:11 +05:00
  • 27f0074d18
    Merge pull request #103 from logos-co/revert-101-tl/fix_pol_cst thomaslavaur 2025-09-30 09:47:49 +02:00
  • 1b6ba734a4
    Revert "swhitch to big endian everywhere" thomaslavaur 2025-09-30 09:39:05 +02:00
  • eb7d84aa61
    Add documentation on triggering a circom circuits release. chore/circom-circuits-docs Alejandro Cabeza Romero 2025-09-29 12:53:09 +02:00
  • 1435ae4005
    Merge pull request #101 from logos-co/tl/fix_pol_cst circom_circuits-v0.4.0 thomaslavaur 2025-09-29 09:58:15 +02:00
  • dcfe7c55c8 swhitch to big endian everywhere thomaslavaur 2025-09-29 09:53:02 +02:00
  • 127727d648
    Merge pull request #100 from logos-co/tl/fix_pol_cst thomaslavaur 2025-09-16 09:36:20 +02:00
  • 6ec6f374a1 remove useless print thomaslavaur 2025-09-09 13:32:33 +02:00
  • 463cb1ce7d fix t0 and t1 constants thomaslavaur 2025-09-09 13:28:46 +02:00
  • 167923137a
    Merge pull request #99 from logos-co/fix/ci/poc-name circom_circuits-v0.3.0 Daniel Sanchez 2025-09-08 12:53:45 +02:00
  • f9ce1c141c
    Fix poc file name. Add to release. Alejandro Cabeza Romero 2025-09-08 12:52:30 +02:00
  • 4930c5cc5a
    ci(circuits): Compile and bundle proof of claim. (#98) Álex 2025-09-08 12:15:50 +02:00
  • 93990b04b5
    Merge pull request #94 from logos-co/Circom thomaslavaur 2025-09-08 11:44:53 +02:00
  • ce997d91f5
    Delete circom_circuits/Mantle/proof_of_claim.circom thomaslavaur 2025-09-08 11:44:20 +02:00
  • d7b36a5964
    Merge branch 'master' into Circom thomaslavaur 2025-09-08 11:40:51 +02:00
  • f8a2cba8be minor fix in names and python thomaslavaur 2025-09-08 11:38:26 +02:00
  • d4a32991bd
    Compile and bundle proof of claim. Alejandro Cabeza Romero 2025-09-08 10:29:32 +02:00
  • b2905f90bd
    refactor(ci): Abstract witness generator into action (#97) circom_circuits-v0.2.0 Álex 2025-09-05 17:07:35 +02:00
  • b31024302d
    Remove testing stuff. Alejandro Cabeza Romero 2025-09-05 17:00:00 +02:00
  • 75538ee32b
    Fix macos arch when bundling. Alejandro Cabeza Romero 2025-09-05 16:30:23 +02:00
  • fa220581be
    Add windows-only compile step. Alejandro Cabeza Romero 2025-09-05 16:11:59 +02:00
  • 38ffaf244c
    Fix undefined variables. Alejandro Cabeza Romero 2025-09-05 15:54:47 +02:00
  • 37bd8e0419
    Fix trailing slash. Alejandro Cabeza Romero 2025-09-05 15:20:40 +02:00
  • f35e7829d1
    Add shell property to action. Alejandro Cabeza Romero 2025-09-05 14:26:22 +02:00
  • cd1ab617af
    Remove unneeded repository root variables. Alejandro Cabeza Romero 2025-09-05 14:07:37 +02:00
  • f19f024ce4
    Asbtract witness generator compilation and bundling into action. Alejandro Cabeza Romero 2025-09-05 13:14:51 +02:00
  • dfeaea6315
    chore(circuits): Bundle PoQ and ZKSign (#96) Álex 2025-09-05 16:58:52 +02:00
  • 7d9ba0caa6 fix something that was computing t0 and t1 wrong thomaslavaur 2025-09-05 12:30:02 +02:00
  • 5bc05ff264
    Remove testing stuff. Alejandro Cabeza Romero 2025-09-05 11:21:55 +02:00
  • 80131a24e1
    Add ZKSign bundling. Alejandro Cabeza Romero 2025-09-05 11:02:13 +02:00
  • 5e21d9056e
    Add PoQ bundling. Alejandro Cabeza Romero 2025-09-04 18:33:26 +02:00
  • 4af6a4dd28 Heuristic optimization Álvaro Castro-Castilla 2025-09-04 14:57:06 +03:00
  • 882f2c468a
    chore: Split common functions PoL. (#95) Álex 2025-09-04 13:27:01 +02:00
  • a265ca45bb
    Split common functions from pol.circom. Alejandro Cabeza Romero 2025-09-04 12:37:27 +02:00
  • 0a989fe711 put credible values for key thomaslavaur 2025-09-03 16:03:37 +02:00
  • ef6d419aa1 add string to modified last value for core/leader case thomaslavaur 2025-09-03 15:48:58 +02:00
  • 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 thomaslavaur 2025-09-02 10:33:02 +02:00
  • 748009d0a0 fixed the generation of test that was miscalculating t0 and t1 thomaslavaur 2025-09-02 10:13:07 +02:00
  • 7f333d44cb
    fix(ci): Fix circuit tag parsing. (#93) circom_circuits-v0.1.0 Álex 2025-09-01 17:53:47 +02:00
  • f10e966591
    Fix circuit tag parsing. Alejandro Cabeza Romero 2025-09-01 17:52:27 +02:00
  • 36c647f85e
    ci: Publish a circuit release only when tagged appropriately (#92) Álex 2025-09-01 17:09:06 +02:00
  • 54474f462e
    Publish a circuit release only when tagged appropriately. Alejandro Cabeza Romero 2025-09-01 17:06:37 +02:00
  • 6f898f02b3
    ci(circuits): Simplify makefiles (#91) Álex 2025-09-01 16:31:04 +02:00
  • 1d7d521ff4
    Remove old makefiles. Alejandro Cabeza Romero 2025-08-29 19:05:26 +02:00
  • 0743cc516d
    Simplify prover makefile. Alejandro Cabeza Romero 2025-08-29 18:46:16 +02:00
  • 7806db9814
    Simplify witness generator makefile. Alejandro Cabeza Romero 2025-08-29 18:16:59 +02:00
  • 7f75894323
    ci(circuits): Static linking (#90) Álex 2025-09-01 16:13:14 +02:00
  • ed82d7cdb8
    Remove cmake install command from macos. Alejandro Cabeza Romero 2025-09-01 15:56:12 +02:00
  • 512f1a7557
    Compile prover and verifier statically. Alejandro Cabeza Romero 2025-08-29 13:31:32 +02:00
  • 790544cd41
    Remove DLL bundling in witness generator for Windows' build. Alejandro Cabeza Romero 2025-08-27 17:31:11 +02:00
  • cd86f86a39
    Add static linking to witness generator. Alejandro Cabeza Romero 2025-08-26 18:45:42 +02:00
  • 8e3ed28ecf
    ci: Add version tagging to circuit workflow (#87) Álex 2025-09-01 15:28:28 +02:00
  • 3f66449b0c
    Merge pull request #89 from logos-co/Circom thomaslavaur 2025-09-01 15:26:26 +02:00
  • c4a41d9963 forgot to finalize thomaslavaur 2025-08-28 15:46:28 +02:00
  • 11ef81c577 update constants thomaslavaur 2025-08-28 15:45:26 +02:00
  • b95cfadb22 add the explanation for dummy constraints in poq thomaslavaur 2025-08-28 08:55:30 +02:00
  • 1386cfa618 update the constant according to engineering discussion thomaslavaur 2025-08-27 10:01:12 +02:00
  • d2c15d96c1 bring back the SafeLessThan thomaslavaur 2025-08-26 15:36:55 +02:00
  • fa940b1ed2 We audited it with Mehmet thomaslavaur 2025-08-26 15:12:48 +02:00
  • 8fa64913fe
    Use full tag for release. Alejandro Cabeza Romero 2025-08-07 18:16:23 +02:00
  • be7b3a70f1
    Fix variable path. Alejandro Cabeza Romero 2025-08-07 15:12:44 +02:00
  • c125689e33
    Add version tag to circuit workflow. Alejandro Cabeza Romero 2025-08-07 15:06:05 +02:00
  • cfbf7f3c4d updated constants thomaslavaur 2025-08-26 11:37:19 +02:00
  • da383e1a87 ensured everything is aligned with the specs thomaslavaur 2025-08-26 10:37:51 +02:00
  • da9101c761 removed the secrets_root input from pol and poq thomaslavaur 2025-08-26 09:57:02 +02:00
  • 5c0465a41e updated the circuit to reflect the names of the specs thomaslavaur 2025-08-25 15:51:48 +02:00
  • 73e5ecb7e7 changing the initializing vector to 0 thomaslavaur 2025-08-19 16:00:17 +02:00
  • 7d903540dc modified poseidon2 parameters to fit Authors parameters thomaslavaur 2025-08-19 15:23:13 +02:00
  • c331076719 fix forgotten check that selector is indeed a bit thomaslavaur 2025-08-14 13:43:30 +02:00
  • d818775fbc remove unecessary stuff thomaslavaur 2025-08-13 15:32:54 +02:00
  • bf33af5e8f add the proof of claim circuit thomaslavaur 2025-08-13 11:13:01 +02:00
  • 64bcc837b6 Merge branch 'Circom' of https://github.com/logos-co/nomos-pocs into Circom thomaslavaur 2025-08-13 10:12:05 +02:00
  • 1a18ddaa83 modifying input generators to fmt thomaslavaur 2025-08-13 10:11:48 +02:00
  • 115e8ebf42
    Merge b3a67923e503c2c460185bbbfda3a1e56661f1a3 into bef9d6046e94d4310254800040788b47f7ccbdd6 Alvatar 2025-08-07 16:01:44 +01:00
  • bef9d6046e
    Merge pull request #86 from logos-co/add-Calculator Alexander Mozeika 2025-08-07 15:49:30 +01:00
  • 829e5ceb61 Cleanup: Remove unnecessary files from Calculator alexander mozeika 2025-08-07 15:34:06 +01:00
  • c706c9f348 Cleanup: Remove unnecessary files from Calculator alexander mozeika 2025-08-07 15:04:22 +01:00
  • 070268f27d Add .gitignore alexander mozeika 2025-08-07 12:38:16 +01:00
  • 747a1d4943 Add Calculator tool from personal repo alexander mozeika 2025-08-07 12:24:35 +01:00
  • 04a8683cde
    ci: Split circuit bundle into one per each (#85) Álex 2025-08-07 09:36:29 +00:00
  • 572efc75c7
    Fix macos paths. Alejandro Cabeza Romero 2025-08-07 10:24:15 +02:00
  • bf660edf28 Merge branch 'Circom' of https://github.com/logos-co/nomos-pocs into Circom thomaslavaur 2025-08-07 08:39:43 +02:00
  • fe0f02808b split the key in two inputs thomaslavaur 2025-08-07 08:38:51 +02:00
  • 5d3f19f146
    Fix minor commands issues. Alejandro Cabeza Romero 2025-08-06 18:15:00 +02:00
  • 2429f8837d
    Split bundles. Alejandro Cabeza Romero 2025-08-06 17:54:23 +02:00
  • d455579d36 feat: add new-file for [specific functionality] pr-84 alexander mozeika 2025-08-06 16:25:39 +01:00
  • 35abcbd106 feat: add calculator project alexander mozeika 2025-08-05 18:12:26 +01:00
  • bdcb150cc0 anonym calc main alexander mozeika 2025-08-05 16:14:00 +01:00