logos-co
/
nomos-specs
mirror of https://github.com/logos-co/nomos-specs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Implement verier verify test 

Extend verify test for all columns
This commit is contained in:
Daniel Sanchez Quiros 2024-03-08 15:22:59 +01:00
parent 5c037d663c
commit b9eec90823
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
da/test_verifier.py
View File

@ -33,13 +33,14 @@ class TestVerifier(TestCase):
_ = TestEncoder()
_.setUp()
encoded_data = _.encoder.encode(_.data)
da_blob = DABlob(
0,
Column(next(encoded_data.chunked_data.columns)),
encoded_data.column_commitments[0],
encoded_data.aggregated_column_commitment,
encoded_data.aggregated_column_proofs[0],
encoded_data.row_commitments,
[row[0] for row in encoded_data.row_proofs],
)
self.assertIsNotNone(self.verifier.verify(da_blob))
for i, column in enumerate(encoded_data.chunked_data.columns):
da_blob = DABlob(
i,
Column(column),
encoded_data.column_commitments[i],
encoded_data.aggregated_column_commitment,
encoded_data.aggregated_column_proofs[i],
encoded_data.row_commitments,
[row[i] for row in encoded_data.row_proofs],
)
self.assertIsNotNone(self.verifier.verify(da_blob))