Commit Graph

19 Commits

Author SHA1 Message Date
danielsanchezq d704b010d5 Docs and format 2024-06-12 17:10:37 +02:00
danielsanchezq facac5a20e Fmt 2024-06-12 13:09:36 +02:00
danielsanchezq 33cdf7f25f Fix imports 2024-06-12 12:25:41 +02:00
danielsanchezq fd1f92e12d Fix test 2024-06-12 12:10:18 +02:00
danielsanchezq e54d535081 Fix roots computations 2024-06-12 11:34:17 +02:00
danielsanchezq 9bfe8c4f0f Add len assertion in test 2024-06-11 18:14:54 +02:00
danielsanchezq 3bdb76aa2e Fix fk20 and tests 2024-06-11 18:09:08 +02:00
danielsanchezq 8d56ab7eb6 Implement fft for g1 values 2024-06-11 18:08:19 +02:00
danielsanchezq 3620cdc8ae Fix roots of unity generation 2024-06-11 18:08:02 +02:00
danielsanchezq a3b501cbcb Finish implementing fk20 2024-06-10 18:26:22 +02:00
danielsanchezq cdc6af668f Implement toeplizt 2024-06-10 16:43:40 +02:00
danielsanchezq 9ffbad1b2f Expand test to different sizes 2024-06-10 14:49:40 +02:00
danielsanchezq 0488748d5d Implement i/fft from ethspecs 2024-06-07 17:54:50 +02:00
danielsanchezq d7bafffbdc Kickstart fk20 2024-06-07 08:22:03 +02:00
Daniel Sanchez 8bb5160ff2
Fix rs encoding to fit with missing points (#90) 2024-04-09 07:55:17 +02:00
Daniel Sanchez a0175e16f3
Chunkify up to 31byte elements (#87) 2024-03-20 11:03:39 +01:00
Daniel Sanchez cf899d2384
Da encoding protocol (#76)
* Implement generator polynomial and rs encoding

* Implement encode/decode+test using fft. Non-working

* Use lagrange for interpolation

* Remove fft, use evaluations instead

* Move and rename kzg and rs test modules

* Update docs

* Added columns property to chunks matrix
Added test for columns

* Added chunkify and test

* Added compute row commitments
Added row commitments size test

* Fix poly from evaluations method

* Implement encode rows and test

* Update encode row test

* Implement compute row proofs (not working on extended data)

* Use same polynomials for commitment and proof creation after extend

* Fix polynomial from/to evaluations

* Use chunks for verification

* Refactor interpolate

* Implement chunks matrix transposed method

* Added compute column kzg commitments

* Use square size data for encoder tests

* Add column type to columns method

* Added compute columns aggregated commitment
Added aggregated commitment test
Fixed and expanded encode test

* Use sha3 for hashing
2024-03-08 14:16:14 +01:00
Daniel Sanchez 09c9b7e4ec
Da rs core (#75)
* Implement generator polynomial and rs encoding

* Implement encode/decode+test using fft. Non-working

* Use lagrange for interpolation

* Remove fft, use evaluations instead

* Move and rename kzg and rs test modules

* Update docs
2024-03-05 16:53:14 +01:00
Daniel Sanchez d15eaa2d98
KZG core functionality (#73)
* Added polynomial class

* Added common types and constants

* Implement commitment and proof generation

* Added basic tests

* Use custom polynomial

* use evaluation form for building polynomial

* Use fast division on polynomials

* Fix poly operations

* Add non working verification

* Make verification work

* Expand verify test

* Cleanup imports

* Update deps

* Update common.py

added verify setup mechanism

* Added trusted setup, updated common to use gp generator and added setup verification test

* Added comments

---------

Co-authored-by: megonen <146561843+megonen@users.noreply.github.com>
2024-02-27 17:49:27 +01:00