pebble-stark icon indicating copy to clipboard operation
pebble-stark copied to clipboard

Published 20 hours ago • verified publisher icon thor314

implement FRI

Open thor314 opened this issue 1 year ago • 2 comments

thor314 avatar Oct 31 '23 16:10 thor314

starting off with this issue (?)

agnxsh avatar Oct 31 '23 18:10 agnxsh

These are the following ToDos that I understand from the totality of the FRI implementation

  • [ ] FRI proof generation
  • [ ] FRI Low degree verification
  • [ ] Fiat Shamir for Random Oracle
  • [ ] Goldilocks Field (can be reused from https://github.com/powdr-labs/powdr/blob/main/backend/src/pilstark/estark.rs OR
  • [ ] Stark 252 fft friendly field
  • [ ] Poseidon Hash (not sure)
  • [ ] Merkle Tree stucture
  • [ ] Cosets
  • [ ] Deep FRI additions (if needed)
  • [ ] Batched FRI commitments

agnxsh avatar Nov 14 '23 08:11 agnxsh