Commit Graph

8 Commits

Author SHA1 Message Date
Daniel Sanchez Quiros ff7e7e2c6c Update docs 2024-03-05 11:16:34 +01:00
Daniel Sanchez Quiros 3116a9fd3b Move and rename kzg and rs test modules 2024-03-05 10:21:04 +01:00
Daniel Sanchez Quiros 62a3790fcf Remove fft, use evaluations instead 2024-03-05 10:07:25 +01:00
Daniel Sanchez Quiros 4566313bd7 Use lagrange for interpolation 2024-03-04 16:55:07 +01:00
Daniel Sanchez Quiros 9131f4a688 Implement encode/decode+test using fft. Non-working 2024-02-28 14:05:08 +01:00
Daniel Sanchez Quiros 0e620904ee Implement generator polynomial and rs encoding 2024-02-27 19:50:27 +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
Daniel Sanchez 9a54d90d14
Da specs main structure (#70)
* Added da encoder pipeline draft

* Remove unnecessary method

* Added verifier module and blob type

* Fill verifier skeleton

* Add comments on implementation, remove unnecessary intermediary method

* Added dispersal skeleton

* Added test modules for dispersal and verifier

* Added test modules for encoder, implemented basic test

* Added missing test cases

* Added missing calls to encode method

* Use single megabyte test in encoder

* Added basic testcases for dispersal

* Added basic testcases for verifier

* Remove duplicated column proofs from encoding schema

* Remove parameters from test functions in encoder

* Extract common types to common module

* Make test pass

* Remove node id dep from mixnet and fix columns access
2024-02-12 15:35:23 +01:00