ac1ce3b3f0
Rename verify_cell_proof to verify_cell_kzg_proof
2024-04-25 17:31:22 -05:00
b13e03e671
Merge pull request #3714 from kevaundray/kw/use-optimized-bls-msm
...
chore: use py-arkworks's multi-exp method inside of `g1_lincomb` and `g2_lincomb`
2024-04-23 11:57:13 -06:00
f3302a3836
- return serialized identity points
...
- result = None initially
2024-04-23 15:11:46 +01:00
d28a0164d2
add is_zero check
2024-04-23 14:55:37 +01:00
5eb19b3cef
modify g1_lincomb and g2_lincomb
2024-04-23 14:21:54 +01:00
5a74f40442
g2_lincomb uses g2_multi_exp
2024-04-23 13:38:27 +01:00
73637c84b2
EIP-7594: Add asserts for public functions ( #3684 )
...
* Add length asserts for public PeerDAS functions
* Fix cell asserts
* Rename field variable to satisfy linter
* Add asserts for row/column indices
* Use CELLS_PER_EXT_BLOB
* Update to work with new spec changes
* Fix indentation
* Add explict check for cell_id
2024-04-23 12:12:26 +03:00
e51f7df77d
chore: make list copy explicit in `divide_polynomialcoeff` ( #3706 )
2024-04-22 10:43:04 -05:00
bcd0a09e68
Integrate new Coset/CosetEvals types ( #3701 )
...
* Add CellBytes type
* Use ByteVector, not Vector
* Fix tests
* Replace b"" with []
* Apply suggestions for bytes_to_cell
* Add/integrate new CosetEvals type
* Remove accidental new line
* Fix recover_all_cells
* Fix recover_matrix
* fix CosetEvals abstraction leak
* Introduce internal Coset type for `coset_for_cell()`
* Use CosetEvals in compute_kzg_proof_multi_impl()
* update test
* satisfy linter
* Fix two nits I noticed
---------
Co-authored-by: Kevaundray Wedderburn <kevtheappdev@gmail.com>
Co-authored-by: George Kadianakis <desnacked@riseup.net>
2024-04-22 17:03:57 +03:00
5c561722b8
add BLS_MODULUS to places where we subtract two integers ( #3709 )
2024-04-22 15:57:52 +03:00
0ffd0ca432
Merge pull request #3703 from kevaundray/kw/add-comment-for-verify-kzg
...
chore: Add more docs for the kzg verify algorithm
2024-04-22 12:46:12 +03:00
dca048d8df
push @asn-d6 suggestions
2024-04-22 09:57:58 +01:00
0e4fc984ef
Remove unused return value ( #3704 )
2024-04-19 20:16:19 -05:00
4684c5748c
add comment for verify algorithm
2024-04-19 19:19:17 +01:00
bc69c357b4
Merge pull request #3702 from kevaundray/kw/fix_recover_polynomial
...
Change `recover_polynomial` to `recover_all_cells`
2024-04-19 12:54:21 -05:00
32cbda9de2
rename to recover_all_cells
2024-04-19 12:50:22 +01:00
33dfa88160
fix bad merge
2024-04-19 12:07:58 +01:00
c2b7c0b414
Merge branch 'dev' into kw/optimize-compute-kzg-proof-multi
2024-04-19 12:04:15 +01:00
9c04cf13c9
Merge pull request #3695 from kevaundray/kw/fix-kzg-multi-comment
...
chore: Fixes and elaborates on comments for `compute_kzg_proof_multi`
2024-04-19 15:32:09 +09:00
0b312cae8b
Merge pull request #3692 from kevaundray/patch-11
...
chore: Change g2_lincomb to take in G2Points
2024-04-19 15:30:22 +09:00
8e3500b2b5
Update specs/_features/eip7594/polynomial-commitments-sampling.md
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-04-18 20:26:52 +01:00
1669723adf
Update specs/_features/eip7594/polynomial-commitments-sampling.md
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-04-18 20:26:46 +01:00
6c8955d4bc
chore: fix comment
2024-04-18 18:12:15 +01:00
912038bb08
modify cell proofs comment
2024-04-18 18:11:41 +01:00
4d073f10a2
remove remainder polynomial when in monomial form
2024-04-18 18:00:01 +01:00
d913140164
fix comments for kzg_proof_multi
2024-04-18 17:52:33 +01:00
3b889645ff
number of cells in an extended blob
2024-04-18 17:38:04 +01:00
45e70747bb
Update polynomial-commitments-sampling.md
2024-04-18 15:02:30 +01:00
8728561da3
Merge branch 'dev' into peer-das
2024-04-04 22:23:02 +09:00
4b6b07b73e
PeerDAS: Use FIELD_ELEMENTS_PER_EXT_BLOB in def of PolynomialCoeff
2024-03-12 15:07:42 +02:00
c71fb00c8e
PeerDAS: Check for degree overflow in multiply_polynomialcoeff()
2024-03-08 18:04:55 +02:00
90afb238ed
Update specs/_features/eip7594/polynomial-commitments-sampling.md
2024-02-14 20:51:50 +08:00
385b0f35ac
Update specs/_features/eip7594/polynomial-commitments-sampling.md
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-02-06 13:10:31 +02:00
f1dd735784
Update specs/_features/eip7594/polynomial-commitments-sampling.md
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-02-06 13:10:24 +02:00
4b1106b39c
Update specs/_features/eip7594/polynomial-commitments-sampling.md
...
Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2024-02-05 16:59:08 +02:00
1e41a6bc69
New FIELD_ELEMENTS_PER_EXT_BLOB: number of cells in an extended blob
2024-02-05 16:57:29 +02:00
e3b83d5450
Add defensive asserts in recover_polynomial()
2024-02-05 16:56:27 +02:00
d60580bb52
Apply suggestions from code review
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-02-01 18:09:37 +08:00
212c1fe624
Small improvements on construct_vanishing_polynomial()
2024-01-31 14:04:23 +02:00
4d01d50437
Initial docs added to recover_shifted_data() and recover_original_data()
2024-01-31 14:04:23 +02:00
be5e5c5a75
Add helpers: recover_shifted_data() and recover_original_data()
2024-01-31 14:04:23 +02:00
8b3ac46a2d
Add helper method: construct_vanishing_polynomial()
2024-01-31 13:48:20 +02:00
7aab57703e
Merge branch 'dev' into peer-das
2024-01-29 17:29:20 +08:00
ae3ef6f330
Merge pull request #3579 from asn-d6/peerdas_public_method_bytes
...
peerDAS: Public methods must accept raw bytes
2024-01-26 17:36:54 +02:00
665e6faff7
Add `RowIndex`, `ColumnIndex` custom types in crypto doc
2024-01-19 19:14:03 +08:00
2000a4f307
Improve test_verify_cell_proof_batch()
2024-01-17 17:20:36 +02:00
66798602dd
Minor fixes based on review
2024-01-17 14:18:03 +02:00
87f2ad2681
Public methods: int -> uint64
2024-01-16 16:58:14 +02:00
96e41bca30
Optimization: reduce `len()` call
2024-01-16 16:51:05 +08:00
a4331e7c63
Public methods must accept raw bytes
2024-01-15 18:38:18 +02:00
Justin Traglia
Alex Stokes
Kevaundray Wedderburn
Justin Traglia
George Kadianakis
Hsiao-Wei Wang