Daniel Sanchez Quiros
cea550377d
Update todos
2024-04-19 10:54:01 +02:00
Daniel Sanchez Quiros
7f978f58af
Added missing todo
2024-04-18 16:58:03 +02:00
Daniel Sanchez Quiros
a1042f287e
Implement verifier service
2024-04-18 16:52:07 +02:00
danielsanchezq
3d831100a5
Implement base structure for verifier service
2024-04-18 15:45:58 +02:00
Daniel Sanchez Quiros
53681cd515
Implemented full verify test
2024-04-17 17:08:30 +02:00
Daniel Sanchez Quiros
f925a04463
Implemented verify column test
2024-04-17 16:11:05 +02:00
Daniel Sanchez Quiros
9aac511939
Implement verifier
2024-04-17 15:48:11 +02:00
Daniel Sanchez Quiros
4ac06df819
Clippy cleanup
2024-04-17 13:04:47 +02:00
Daniel Sanchez Quiros
2b34669d33
Implement verifier new
...
Implement verifier check column
2024-04-17 13:04:36 +02:00
Daniel Sanchez Quiros
5f2b441ae7
Implemented dablob
2024-04-16 18:37:58 +02:00
Daniel Sanchez Quiros
dd117f7f73
Cleanup
2024-04-16 17:01:24 +02:00
Daniel Sanchez Quiros
4375a514cf
Implement aggregated commitment test
...
Implement aggregated column proofs test
2024-04-16 16:44:13 +02:00
Daniel Sanchez Quiros
fa61a80a1d
Implement row proofs tests
...
Fix fieldelement encoding/decoding bug
2024-04-16 16:11:15 +02:00
Daniel Sanchez Quiros
76bc6a4a6c
Implement rs encode rows test
...
Fix related bugs
Refactored API
2024-04-15 19:57:23 +02:00
Daniel Sanchez Quiros
3a89597f8d
Implement compute row kzg commitments
...
Fix related bugs
2024-04-15 19:20:30 +02:00
Daniel Sanchez Quiros
8b12b7abc1
Implement chunkify test
...
Fix related bugs
2024-04-15 18:33:01 +02:00
Daniel Sanchez Quiros
05a9ae9d05
Implement encode method
2024-04-15 16:38:49 +02:00
Daniel Sanchez Quiros
bfad51be35
Implement encoder main methods
2024-04-15 15:07:07 +02:00
Daniel Sanchez Quiros
d3161e5a7a
Fix lib and types exposures
2024-04-15 15:06:55 +02:00
Daniel Sanchez Quiros
b0d957c85c
Implement compute elements (row) proofs
2024-04-11 18:31:42 +03:00
Daniel Sanchez Quiros
9b2d723fd9
Implement commit row commitments
2024-04-11 18:12:28 +03:00
Daniel Sanchez Quiros
4653fa3319
Added missing files
2024-04-11 17:29:48 +03:00
Daniel Sanchez Quiros
fe2c5534a3
Implement encoder with chunkify
2024-04-11 17:29:23 +03:00
Daniel Sanchez Quiros
15f4f4f1b9
Added chunksmatrix
2024-04-11 17:03:50 +03:00
Daniel Sanchez Quiros
98d0073bea
Cleanup imports
2024-04-07 09:37:57 +03:00
Daniel Sanchez Quiros
3268c6caef
Implement decode using lagrange
2024-04-07 09:37:36 +03:00
Daniel Sanchez Quiros
f7ada99d82
Implement decoding tests
2024-04-02 18:00:14 +02:00
Daniel Sanchez Quiros
4baae88a1c
Implement rs encode/decode
2024-04-02 17:35:25 +02:00
Daniel Sanchez Quiros
a8ef541cdb
Use modular le bytes
2024-04-02 17:25:10 +02:00
Daniel Sanchez Quiros
708dcf55a5
Return evaluations from bytes_to_polynomial as well
2024-04-02 15:18:25 +02:00
Daniel Sanchez Quiros
52606faf83
Implemented verification and tests
2024-04-02 14:52:27 +02:00
Daniel Sanchez Quiros
32aeaf8043
implement proof verification
2024-04-02 13:03:30 +02:00
Daniel Sanchez Quiros
dbf84ff1b6
Sketch fn signature for verification
2024-04-01 20:01:13 +02:00
Daniel Sanchez Quiros
b5898aa958
Implement proof generation
2024-04-01 19:57:23 +02:00
Daniel Sanchez Quiros
da4420a46e
Implement polynomial commitment
2024-04-01 19:43:10 +02:00
Daniel Sanchez Quiros
769c1d40ed
Add comments
2024-04-01 18:26:00 +02:00
Daniel Sanchez Quiros
ff52bd67ee
Clippy happy
2024-04-01 17:26:14 +02:00
Daniel Sanchez Quiros
84ac7ed459
Fix encoding and test
2024-04-01 17:17:30 +02:00
Daniel Sanchez Quiros
6d438d5a18
Use domain elements instead of roots of unity in tests
2024-04-01 14:59:06 +02:00
Daniel Sanchez Quiros
38fe0e8171
Refactor evaluations into method
2024-03-30 13:29:46 +01:00
Daniel Sanchez Quiros
a619bb362c
Use coefficient form
2024-03-29 22:00:38 +01:00
Daniel Sanchez Quiros
d4ae8fe66f
Implemented bytes_to_polynomial and tests
2024-03-29 15:36:52 +01:00
Daniel Sanchez Quiros
687baeb9a1
Added new kzgrs core module
2024-03-29 15:36:40 +01:00
Daniel Sanchez Quiros
c06962b944
Removed old kzg rs modules
2024-03-29 15:36:19 +01:00
danielsanchezq
3a06e8f8d8
Base cleaning of da to new traits/structure
...
Added new da protocols and types
2024-03-28 14:36:39 +02:00
Giacomo Pasini
7e4d00cc78
Switch from Carnot to Cryptarchia ( #624 )
...
* Switch from Carnot to Cryptarchia
* Do not delete old coins
* Update tests/src/lib.rs
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
* clippy happy
---------
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
2024-03-28 12:56:04 +01:00
Al Liu
16444cf32a
Fix race for nomos log service ( #577 )
2024-03-23 22:02:01 +08:00
gusto
b341a11eb2
Metrics to nomos services ( #623 )
...
* Remove unused metrics crate from services
* Move prometheus metrics to nomos-services
2024-03-22 14:03:35 +02:00
gusto
de6138fc27
Remove old http api implementation ( #622 )
2024-03-22 12:55:25 +02:00
Daniel Sanchez
2677199ed6
Cryptarchia block subscribe ( #617 )
...
* Pipe broadcast channel
* Add subscription to cryptarchia services message
* Clippy happy
2024-03-22 10:45:54 +01:00