Commit Graph

  • c58122678f
    Merge 96ce399bb5405c9b52eb39467f1d357ff7ffd4bb into bdfb86b46e8f9749acc8bb8233cc78ee7eb6f4a5 M Alghazwi 2025-03-17 15:31:37 +01:00
  • 96ce399bb5
    add PublicInputGateV2 and refactor build, prove, and verify. impl-pi-gate-v2 M Alghazwi 2025-03-17 15:05:06 +01:00
  • aa0c6221c6
    Merge bdfb86b46e8f9749acc8bb8233cc78ee7eb6f4a5 into 32cd13dedef02d22be33f4f521ba41f942092d07 M Alghazwi 2025-03-13 13:17:56 +01:00
  • bdfb86b46e
    add tests and descriptions for the conversions. impl-poseidon2_bn254 M Alghazwi 2025-03-13 10:08:27 +01:00
  • b33ed53ed7
    fix bn conversion and some minor improvements. M Alghazwi 2025-03-11 13:12:19 +01:00
  • db9c63095f
    add benchmarks M Alghazwi 2025-03-11 13:09:05 +01:00
  • 972c3c0645
    impl duplex and hasher for GenericField M Alghazwi 2025-02-27 10:46:39 +01:00
  • 32cd13dede
    add an "example" generating a large test vector for the duplex sponge codex Balazs Komuves 2025-02-13 17:02:24 +01:00
  • eeeb99f546 add support for Poseidon2 BN254 M Alghazwi 2025-02-11 11:55:02 +01:00
  • 15bb9599f3
    Merge branch 'main' into codex Balazs Komuves 2025-01-31 10:52:35 +01:00
  • d682f58af5
    Merge remote-tracking branch 'origin/main' into codex Balazs Komuves 2025-01-30 19:55:27 +01:00
  • 4e0834d711
    Misc updates (#1663) main Robin Salen 2025-01-30 15:46:51 -05:00
  • 0362deb648
    Bump patch version Robin Salen 2025-01-30 15:15:15 -05:00
  • 1aa32519eb
    Fix clippy (#1662) Robin Salen 2025-01-30 15:14:13 -05:00
  • 753389a2ca
    Fix padding for LookupTableGate (#1661) Linda Guiga 2025-01-30 21:02:20 +01:00
  • f7b4e62f2e
    add rudimentary hash counting statistics Balazs Komuves 2025-01-30 14:20:56 +01:00
  • 6eb63f0200
    Bump versions Robin Salen 2025-01-28 11:41:20 -05:00
  • 091047f7f1
    Fix padding in LookupTableGate (#1656) Linda Guiga 2025-01-28 17:39:13 +01:00
  • 23dff50624
    add "test vectors" for gate constraints, to help debugging Balazs Komuves 2025-01-23 20:25:29 +01:00
  • cc0834ae07
    fix: correct visibility in gate_serialization macros (#1650) Nikita Masych 2025-01-22 17:51:09 +02:00
  • ec5437b315
    add an example with two different lookup tables Balazs Komuves 2025-01-17 11:09:23 +01:00
  • 892f51bd12
    fix: use u64 in BaseSplitGenerator (#1647) Eduard S. 2025-01-13 18:18:52 +01:00
  • 02e80e9af0
    add serialization and deserialization for BytesHash (#1645) carlogf 2025-01-07 11:17:33 -03:00
  • 1079f0f3ce
    export field elements (in the witness) as strings, as javascript handles JSON numbers as floats (53 bit precision is not enough for Goldilocks) Balazs Komuves 2024-12-17 18:28:27 +01:00
  • b4085c3071
    when exporting the witness, handle the lookup selector columns too Balazs Komuves 2024-12-17 14:45:09 +01:00
  • 6ca8e0fa4e
    improving the web visualizer Balazs Komuves 2024-12-16 21:49:39 +01:00
  • dfb35e1781
    remove poseidon_crandall.rs (it's empty) Balazs Komuves 2024-12-13 20:50:50 +01:00
  • 9f9c67d373
    include <D=2> in the Reducing*Gate id Balazs Komuves 2024-12-13 19:43:28 +01:00
  • 32753831d2
    export the constant columns (selectors too) for third-party tooling Balazs Komuves 2024-12-13 11:35:36 +01:00
  • 4625d3a63c
    serializing circuit data in the recursion example Balazs Komuves 2024-12-12 11:07:25 +01:00
  • 790042102d
    export witness from the bench_recursion example Balazs Komuves 2024-12-09 18:26:28 +01:00
  • 0b5bcd6b7b
    Merge remote-tracking branch 'origin/codex' into codex Balazs Komuves 2024-12-12 11:09:34 +01:00
  • 2c5ed15b36
    Update visualization README to include npx option to disable caching Balazs Komuves 2024-12-10 11:27:26 +01:00
  • b6d5789d68
    improve README Balazs Komuves 2024-12-09 18:46:16 +01:00
  • 62ce94e260
    remove batch_fri/*: it's not used anywhere and that's just confusing Balazs Komuves 2024-12-09 18:31:34 +01:00
  • 172bee1ba1
    fix rust warnings; make bench_recursion work Balazs Komuves 2024-12-06 16:44:58 +01:00
  • a228ba76d7
    add information about this fork into the README Balazs Komuves 2024-12-06 14:26:53 +01:00
  • 5ead86a97a
    minor improvements in the witness visualization Balazs Komuves 2024-12-06 14:19:18 +01:00
  • 1e31a1ad9a
    add lookup example circuit Balazs Komuves 2024-12-06 14:14:00 +01:00
  • be9ea35a15
    band-aid quick fix for https://github.com/0xPolygonZero/plonky2/issues/1641 Balazs Komuves 2024-12-06 14:12:42 +01:00
  • 2916b99f11
    visualization: minor improvements Balazs Komuves 2024-12-05 20:05:58 +01:00
  • ac1006102a
    a quick web-based witness visualizer Balazs Komuves 2024-12-05 19:12:59 +01:00
  • b233c55be6
    add prover options to export the witness (+ gates + selectors) for third party visualization Balazs Komuves 2024-12-05 12:36:53 +01:00
  • 155a0ce24e
    add a single selector vector into SelectorsInfo to make life easier Balazs Komuves 2024-12-05 12:02:34 +01:00
  • 301ae79b6f
    add "short id" for gates, for easier interop with third-party tooling (untested) Balazs Komuves 2024-12-05 00:12:47 +01:00
  • 99aac4dd08
    config option to turn off randomizing unused wires (makes debugging easier as it becomes deterministic) Balazs Komuves 2024-12-04 23:08:52 +01:00
  • 356aefb686
    fix: changed conditioning for timing functionality in circuit_builder (#1640) Nikita Masych 2024-11-27 19:37:14 +02:00
  • 6d1b99e5ca
    v1.0.0 release (#1637) Robin Salen 2024-11-25 12:58:04 -05:00
  • 7203b7ad0b
    Unified Recursion Circuit for Multi-Degree Starky Proof Verification (#1635) Sai 2024-11-25 16:58:08 +00:00
  • 2488cdacd4
    Fix DummyProofGenerator serialization (#1634) Robin Salen 2024-10-17 09:31:21 -04:00
  • 7959bd22ce
    Refactor CTL Handling (#1629) Sai 2024-10-09 15:29:34 +00:00
  • 27a972f1cb
    Added serialize and deserialize to starky proofs (#1630) Arman Aurobindo 2024-10-02 23:36:06 +05:30
  • 41dc325e61
    changed to web-time in circuit_builder (#1624) Arman Aurobindo 2024-09-11 02:38:10 +05:30
  • bf95c10cbf
    Add Starky audit file Robin Salen 2024-08-29 18:15:54 -04:00
  • a4efbe8369
    Fix example and documentation rendering (#1614) Simon Perriard 2024-08-29 14:22:37 +02:00
  • 9fdf1b8ef4
    Add connect_array convenience method in CircuitBuilder (#1620) Robin Salen 2024-08-27 16:56:19 -04:00
  • bb8f388091
    chore: remove compressed StarkProof variant (#1618) Robin Salen 2024-08-21 19:07:04 -04:00
  • 349beae143
    Do not panic on wire set twice or generator not run issues (#1611) Robin Salen 2024-08-07 14:53:14 -04:00
  • 0e363e16a3
    Add Support for Batch STARKs with Proving, Verification, and Recursion (#1600) Sai 2024-07-16 06:43:07 +08:00
  • 4090881d5c
    chore: fix clippy (#1609) Robin Salen 2024-07-16 07:28:16 +09:00
  • f5a5845bc8
    Observe public inputs (#1607) Robin Salen 2024-07-04 06:35:06 +09:00
  • cedffae4f6
    fix: get PR check workflow to work properly Robin Salen 2024-06-28 15:55:32 -04:00
  • 25d062afeb
    fix: fix pr_checking workflow Robin Salen 2024-06-26 15:21:47 -04:00
  • 7ee5c5196c
    fix: Move PR check file into proper folder Robin Salen 2024-06-26 15:04:58 -04:00
  • 0c21c327df
    ci: add PR check job (#1604) Robin Salen 2024-06-26 13:36:22 -04:00
  • 4813d563d0
    chore: replace stale link (#1602) Gio 2024-06-16 08:58:13 -06:00
  • 7ba3c1f298
    Add Field::shifted_powers and some iterator niceties (#1599) Gio 2024-06-13 09:53:00 -06:00
  • ed6f452294
    fix(field): reenable alloc for tests (#1601) Robin Salen 2024-06-13 06:28:59 -04:00
  • 42a821dfde
    Add row index to constraint failure message (#1598) Hamy Ratoanina 2024-06-11 17:58:41 -04:00
  • 217b4a272c
    Clarify zk usage with starky (#1596) Robin Salen 2024-06-08 12:01:43 -04:00
  • 42e048f45d
    Allow multiple extra_looking_sums for the same looked table (#1591) nuno 2024-06-04 20:10:46 +02:00
  • 8030ea43ff
    Fix CTL generation of last row (#1585) Matthias Görgens 2024-06-01 21:15:53 +08:00
  • cfccc1b8b6
    change set_stark_proof_target's witness to WitnessWrite (#1592) nuno 2024-06-01 15:15:26 +02:00
  • 15836d9d8c
    doc+fix: clippy::doc-lazy-continuation (#1594) Daniel-Aaron-Bloom 2024-05-28 15:20:44 -07:00
  • 430290fb76
    fix: remove clippy unexpected_cfgs warning (#1588) Daniel-Aaron-Bloom 2024-05-21 13:14:19 -07:00
  • dc77c77f2b
    Changes to prepare for dummy segment removal in zk_evm's continuations (#1587) Linda Guiga 2024-05-03 14:10:38 +01:00
  • c4fbd3ac1a
    update 2-adic generator to 0x64fdd1a46201e246 (#1579) Benjamin Diamond 2024-04-26 15:46:04 -04:00
  • 246c4a6fcf
    Fix verify_cross_table_lookups with no ctl_extra_looking_sums (#1584) Matthias Görgens 2024-04-26 23:35:02 +08:00
  • ca362ee3d0
    Remove restriction to binary-only multiplicities (#1577) Matthias Görgens 2024-04-26 23:32:41 +08:00
  • d48ce9cf88
    Merge pull request #1580 from AdventureSeeker987/main Ben 2024-04-24 15:20:37 +01:00
  • 1f6c04f62c
    Update circuit_data.rs yanziseeker 2024-04-24 21:30:39 +08:00
  • 8d95b155b4
    Update transpose_util.rs yanziseeker 2024-04-24 21:29:35 +08:00
  • 56e1b98d32
    Update unconstrained_stark.rs (#1578) yanziseeker 2024-04-22 21:54:03 +08:00
  • 72c1c90748
    Remove obsolete function ceil_div_usize (#1574) Matthias Görgens 2024-04-19 21:00:03 +08:00
  • 76da138338
    Bump versions pre-release (#1569) Robin Salen 2024-04-16 20:10:19 +09:00
  • 4c10381192
    Merge pull request #1568 from 0xPolygonZero/readme Ben 2024-04-15 23:44:28 +04:00
  • c386a63902
    One more Ben 2024-04-15 20:40:23 +01:00
  • 2566321774
    Merge pull request #1566 from jimpo/avx512-feature Ben 2024-04-15 23:38:59 +04:00
  • fefe94d174
    Update CHANGELOG.md Ben 2024-04-15 20:33:07 +01:00
  • d74121ca6e
    Merge pull request #1567 from 0xmozak/matthias/remove-filter Ben 2024-04-15 17:21:14 +04:00
  • 0731fec251 Simplify types: remove option from CTL filters Matthias Goergens 2024-04-15 17:02:48 +08:00
  • 692a9e35d0 Add stdarch_x86_avx512 feature Jim Posen 2024-04-07 01:42:04 -04:00
  • 53c5bc3e95
    Merge pull request #1559 from 0xPolygonZero/update_changelog Ben 2024-03-22 19:41:21 +04:00
  • 240839e8a6
    Update CHANGELOG.md Ben 2024-03-22 15:28:56 +00:00
  • cbfd19edb7
    Merge pull request #1558 from spartucus/main Ben 2024-03-22 13:00:05 +04:00
  • 3e89c7c24c refactor code Bob Niu 2024-03-22 16:22:05 +08:00
  • 54cee24b36
    Bump versions pre-release (#1557) Hamy Ratoanina 2024-03-21 14:34:41 -04:00
  • 4f8e631550
    Prove Starks without constraints (#1552) Alonso González 2024-03-15 12:43:45 +01:00
  • 2a2becc415
    Fix CTLs with exactly two looking tables (#1555) Robin Salen 2024-03-14 23:30:18 +09:00
  • a137b64ac1
    Add SECURITY.md and move contribution guidance to CONTRIBUTING.md (#1556) Robin Salen 2024-03-14 20:01:23 +09:00