Commit Graph

422 Commits

Author SHA1 Message Date
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