logos-storage/plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2-verifier.git synced 2026-01-02 13:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 1ed42cee80
         fix some simple mistakes in the FRI commentary (log(rate) vs rate) main Balazs Komuves 2025-08-01 17:10:22 +02:00
  • 101ff05d3a
         fix some typos Balazs Komuves 2025-06-19 16:13:49 +02:00
  • 5b0d32b161
         add the missing "Layout.md" to the PDF version of the commentary Balazs Komuves 2025-06-19 16:05:36 +02:00
  • f4f8d6a02c
         add a description of the duplex algorithm in the commentary Balazs Komuves 2025-02-25 15:01:10 +01:00
  • bd05a5a6f4
         add an FRI verifier summary in the commentary Balazs Komuves 2025-02-09 12:20:06 +01:00
  • 3c7e5c81ad
         update the lookup equations to reflect the changes in 091047f Balazs Komuves 2025-02-09 11:59:01 +01:00
  • 8bf7b291b8
         update the commentary and regenerate the PDF Balazs Komuves 2025-02-08 19:46:51 +01:00
  • 49b5a0035e
         FRI verification seems to work (finally...) Balazs Komuves 2025-02-08 17:51:21 +01:00
  • 2bd6462988
         Merge pull request #1 from codex-storage/add-recursion-doc Balazs Komuves 2025-02-07 13:17:27 +01:00
  • 9c2e793490 fix typos add-recursion-doc M Alghazwi 2025-02-07 12:48:46 +01:00
  • ac0dfcc8f4 add recursion documentation M Alghazwi 2025-02-06 11:23:39 +01:00
  • eeea733bd5
         update the commentary Balazs Komuves 2025-01-30 14:54:43 +01:00
  • d07661d5b9
         implement lookup tables Balazs Komuves 2025-01-26 17:22:40 +01:00
  • a086adf9b1
         experimental PDF version of the commentary via Pandoc Balazs Komuves 2025-01-24 14:21:30 +01:00
  • 2a3f5e895a
         refactor constant column handling Balazs Komuves 2025-01-24 11:14:19 +01:00
  • 0b87acea64
         implement the Reducing and ReducingExtension gates Balazs Komuves 2025-01-23 20:01:16 +01:00
  • 8bfe0c6c10
         implement PoseidonMdsGate Balazs Komuves 2025-01-23 19:41:30 +01:00
  • 644832ec48
         implement CosetInterpolationGate Balazs Komuves 2025-01-23 18:59:51 +01:00
  • 7180ca242d
         fix ArithmeticExtensionGate and MulExtensionGate Balazs Komuves 2025-01-23 14:57:01 +01:00
  • 4e88c0defb
         fix the exponentiation gate and implement random access gate Balazs Komuves 2025-01-23 13:14:55 +01:00
  • 39c7316be0
         first draft of the "Plonky2 commentary", explaining the inner workings of the system (WIP) Balazs Komuves 2025-01-21 21:27:43 +01:00
  • fa3c8cad25
         improve some explanatory comments Balazs Komuves 2025-01-21 21:27:11 +01:00
  • d19c929c89
         checking the combined Plonk constraints seems to work Balazs Komuves 2024-12-15 20:53:14 +01:00
  • 4b34d8df89
         calculate the degree of gate constraints Balazs Komuves 2024-12-15 15:28:50 +01:00
  • e49a0cfdba
         count the number of operations in constraints, and fix the extreme inefficiency of Poseidon gate Balazs Komuves 2024-12-15 14:56:16 +01:00
  • 9967a612a2
         fix precedence bug (typo) in pretty-printing Balazs Komuves 2024-12-15 14:54:30 +01:00
  • c949f3d3f2
         completely rewrite the constraints; PoseidonGate seems to work now Balazs Komuves 2024-12-15 14:03:44 +01:00
  • 338163f56d
         minor doc improvements Balazs Komuves 2024-12-13 21:41:22 +01:00
  • 95686198f6
         more refactoring (hash) Balazs Komuves 2024-12-13 20:45:45 +01:00
  • bf9fb3e969
         some refactoring (algebra) Balazs Komuves 2024-12-13 20:42:44 +01:00
  • 645d2024ed
         add licenses Balazs Komuves 2024-12-13 20:29:43 +01:00
  • 0328ecdf5e
         add a README Balazs Komuves 2024-12-13 20:24:24 +01:00
  • 1d513debb9
         move source code into an src subdirectory Balazs Komuves 2024-12-13 20:20:43 +01:00
  • 1823fd462a
         some preliminary work on gate constraints Balazs Komuves 2024-12-13 20:17:25 +01:00
  • 1a54e5827c
         generating all the verifier challenges seem to work Balazs Komuves 2024-12-12 22:02:27 +01:00
  • e280b14301
         duplex sponge seems to work correctly Balazs Komuves 2024-12-12 16:26:36 +01:00
  • 8f02be21d2
         parse the proof Balazs Komuves 2024-12-12 13:27:45 +01:00
  • e593049dce
         use the same multiplicative generators as Plonky2 Balazs Komuves 2024-12-12 12:33:24 +01:00
  • 7ed7cfe2d7
         quadratic extension of the Goldilocks field Balazs Komuves 2024-12-12 12:22:05 +01:00
  • 87b562ad04
         parsing the gate strings Balazs Komuves 2024-12-12 11:33:26 +01:00
  • 18d42b1c83
         parse CircuitCommonData (except that gates are not recognized yet) Balazs Komuves 2024-12-11 22:13:10 +01:00
  • f30bea78a4
         parsing verifier only circuit data works Balazs Komuves 2024-12-11 21:07:30 +01:00
  • b437f915e8
         circuit common data types Balazs Komuves 2024-12-11 12:43:27 +01:00
  • d42d7c02b0
         plonky2-compatible Poseidon permutation seems to work Balazs Komuves 2024-12-11 12:40:14 +01:00
  • ec67d43bed initial commit Balazs Komuves 2024-12-11 12:40:14 +01:00