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

Commit Graph

  • 1961cdda68 Added common bls types Daniel Sanchez Quiros 2024-03-11 16:07:48 +0100
  • 7ffb7cc7ed
         Da verifier protocol (#78) Daniel Sanchez 2024-03-11 10:01:34 +0100
  • 2d3f463bb7
         cryptarchia: Update epoch stabilization schedule to 334 (from 433) (#79) davidrusu 2024-03-09 17:34:08 +0400
  • 23d1cc2a75 un-hard code epoch sched. params + provide a v0.0.1 spec for params David Rusu 2024-03-09 00:24:10 +0400
  • 7379b48bb2 cryptarchia: hardcode epoch schedule in specification David Rusu 2024-03-08 19:42:36 +0400
  • a99d621cb3 cryptarchia: config.s is always 3k/f or 3*base_period_length David Rusu 2024-03-08 19:14:34 +0400
  • 87e731d15f cryptarchia: rename fork choice test suite to TestForkChoice David Rusu 2024-03-08 19:13:59 +0400
  • f1d9039319 cryptarchia: fork choice rules tests use mk_chain helper David Rusu 2024-03-08 19:11:20 +0400
  • e7a8004133 cryptarchia: refactor fork test to use mk_chain David Rusu 2024-03-08 19:05:29 +0400
  • 6921b008fc cryptarchia: move mk_genesis_state to test_common David Rusu 2024-03-08 18:30:46 +0400
  • 8e259e710e cryptarchia: move mk_block to test_common David Rusu 2024-03-08 18:29:07 +0400
  • 634249674d Merge branch 'master' into da-verifier-protocol da-verifier-protocol Daniel Sanchez Quiros 2024-03-08 15:28:41 +0100
  • b9eec90823 Implement verier verify test Extend verify test for all columns Daniel Sanchez Quiros 2024-03-08 15:22:59 +0100
  • 5c037d663c Implement verier verify test Fixed small issues Daniel Sanchez Quiros 2024-03-08 15:20:04 +0100
  • 7ef7f055ae cryptarchia: wrap long comments David Rusu 2024-03-08 18:11:15 +0400
  • 37cd8c9aeb move to .tip() in tests instead of tip_id() David Rusu 2024-03-08 18:05:10 +0400
  • 0329b55e66 Added verify column test Daniel Sanchez Quiros 2024-03-08 14:57:40 +0100
  • 102d9f1b4b Fill up verifier implementation Daniel Sanchez Quiros 2024-03-08 14:57:27 +0100
  • c416b173d4 Make encoder hashing method public Daniel Sanchez Quiros 2024-03-08 14:57:16 +0100
  • cc8274ded2 cryptarchia: update test_epoch_transition test David Rusu 2024-03-08 17:56:15 +0400
  • ab4e62fb9f cryptarchia: update test_ledger_state_is_properly_updated_on_reorg David Rusu 2024-03-08 17:43:09 +0400
  • c553aba8f5 feat(cryptarchia): test_leader uses common test config object David Rusu 2024-03-08 17:38:14 +0400
  • cf899d2384
         Da encoding protocol (#76) Daniel Sanchez 2024-03-08 14:16:14 +0100
  • 331a20b356 factor out common test config building code David Rusu 2024-03-08 16:08:52 +0400
  • bce7e922d1 feat(cryptarchia/epoch-schedule): switch to 334 schedule (from 433) David Rusu 2024-03-08 15:37:21 +0400
  • 0337a12733 Use sha3 for hashing da-protocol Daniel Sanchez Quiros 2024-03-08 10:11:20 +0100
  • 7921f2c706 Added compute columns aggregated commitment Added aggregated commitment test Fixed and expanded encode test Daniel Sanchez Quiros 2024-03-07 15:41:37 +0100
  • a421df9566 Add column type to columns method Daniel Sanchez Quiros 2024-03-06 17:53:27 +0100
  • 3019a92460 Use square size data for encoder tests Daniel Sanchez Quiros 2024-03-06 17:18:13 +0100
  • 6d8a370ee7 Added compute column kzg commitments Daniel Sanchez Quiros 2024-03-06 16:56:47 +0100
  • 9bb5a6270f Implement chunks matrix transposed method Daniel Sanchez Quiros 2024-03-06 16:56:23 +0100
  • 02ed35596b Refactor interpolate Daniel Sanchez Quiros 2024-03-06 16:09:51 +0100
  • eecda172b8 Use chunks for verification Daniel Sanchez Quiros 2024-03-06 16:02:48 +0100
  • 0f27a16468 Fix polynomial from/to evaluations Daniel Sanchez Quiros 2024-03-06 16:02:36 +0100
  • 7dbd5ef351 Use same polynomials for commitment and proof creation after extend Daniel Sanchez Quiros 2024-03-06 08:40:32 +0100
  • 3fddca075c Implement compute row proofs (not working on extended data) Daniel Sanchez Quiros 2024-03-05 19:02:19 +0100
  • 0fa9f5edd2 Update encode row test Daniel Sanchez Quiros 2024-03-05 18:17:28 +0100
  • 17947ef74b Implement encode rows and test Daniel Sanchez Quiros 2024-03-05 18:03:26 +0100
  • 547cdedf5f Fix poly from evaluations method Daniel Sanchez Quiros 2024-03-05 16:52:37 +0100
  • e72935ec49 Added compute row commitments Added row commitments size test Daniel Sanchez Quiros 2024-03-05 13:54:06 +0100
  • f3097a6be4 Added chunkify and test Daniel Sanchez Quiros 2024-03-05 12:44:40 +0100
  • 5d3182eace Added columns property to chunks matrix Added test for columns Daniel Sanchez Quiros 2024-03-05 12:16:28 +0100
  • a2e9382b49 Update docs Daniel Sanchez Quiros 2024-03-05 11:16:34 +0100
  • 3632275521 Move and rename kzg and rs test modules Daniel Sanchez Quiros 2024-03-05 10:21:04 +0100
  • 99086151fe Remove fft, use evaluations instead Daniel Sanchez Quiros 2024-03-05 10:07:25 +0100
  • f6b7d5bd3e Use lagrange for interpolation Daniel Sanchez Quiros 2024-03-04 16:55:07 +0100
  • d75eb2949f Implement encode/decode+test using fft. Non-working Daniel Sanchez Quiros 2024-02-28 14:05:08 +0100
  • 8ea2fb1fa3 Implement generator polynomial and rs encoding Daniel Sanchez Quiros 2024-02-27 19:48:12 +0100
  • 09c9b7e4ec
         Da rs core (#75) Daniel Sanchez 2024-03-05 16:53:14 +0100
  • ff7e7e2c6c Update docs da-rs-core Daniel Sanchez Quiros 2024-03-05 11:16:34 +0100
  • 3116a9fd3b Move and rename kzg and rs test modules Daniel Sanchez Quiros 2024-03-05 10:21:04 +0100
  • 62a3790fcf Remove fft, use evaluations instead Daniel Sanchez Quiros 2024-03-05 10:07:25 +0100
  • 4566313bd7 Use lagrange for interpolation Daniel Sanchez Quiros 2024-03-04 16:55:07 +0100
  • 9131f4a688 Implement encode/decode+test using fft. Non-working Daniel Sanchez Quiros 2024-02-28 14:05:08 +0100
  • 0e620904ee Implement generator polynomial and rs encoding Daniel Sanchez Quiros 2024-02-27 19:48:12 +0100
  • d15eaa2d98
         KZG core functionality (#73) Daniel Sanchez 2024-02-27 17:49:27 +0100
  • b322c414d3 Added comments da-kzg-core Daniel Sanchez Quiros 2024-02-27 14:12:20 +0100
  • 6fe8401f54 Added trusted setup, updated common to use gp generator and added setup verification test Daniel Sanchez Quiros 2024-02-27 13:52:55 +0100
  • 6d59f41ab3
         Update common.py megonen 2024-02-27 13:49:50 +0300
  • 81bf05464f Update deps Daniel Sanchez Quiros 2024-02-26 18:36:09 +0100
  • 18490d1e51 Cleanup imports Daniel Sanchez Quiros 2024-02-26 18:06:05 +0100
  • 94f755d00d Expand verify test Daniel Sanchez Quiros 2024-02-26 17:46:02 +0100
  • af2494f51f Make verification work Daniel Sanchez Quiros 2024-02-26 13:45:27 +0100
  • 2e75915626 Add non working verification Daniel Sanchez Quiros 2024-02-26 10:28:50 +0100
  • f6c5339168 Fix poly operations Daniel Sanchez Quiros 2024-02-22 13:36:09 +0100
  • 0ba4f14e65 Use fast division on polynomials Daniel Sanchez Quiros 2024-02-22 13:29:38 +0100
  • 9ca4332eb1 use evaluation form for building polynomial Daniel Sanchez Quiros 2024-02-22 13:04:04 +0100
  • 761ef0d745 Use custom polynomial Daniel Sanchez Quiros 2024-02-22 11:29:23 +0100
  • 18f647c940 Added basic tests Daniel Sanchez Quiros 2024-02-20 13:03:02 +0100
  • 37d94d1c87 Implement commitment and proof generation Daniel Sanchez Quiros 2024-02-20 13:02:55 +0100
  • 12f33c3388 Added common types and constants Daniel Sanchez Quiros 2024-02-20 13:02:40 +0100
  • bba8760fc5 Added polynomial class Daniel Sanchez Quiros 2024-02-20 13:02:26 +0100
  • 8fa080b476 More custom methods da-kzg-rs Daniel Sanchez Quiros 2024-02-19 13:20:23 +0100
  • 8de4b9689d Reformat imports da-kzg-test Daniel Sanchez Quiros 2024-02-15 09:19:59 +0100
  • 29dc5196a6 Refactor chunks count naming in tests Daniel Sanchez Quiros 2024-02-14 09:38:31 +0100
  • 1efe2ae14a Implement verification and added test Daniel Sanchez Quiros 2024-02-13 19:03:34 +0100
  • 739741df5e Added compute proofs (working) and test Daniel Sanchez Quiros 2024-02-13 18:16:56 +0100
  • 906b626e67 Added compute proofs (wip) Daniel Sanchez Quiros 2024-02-13 16:09:13 +0100
  • b692a47f7b Added g1_linecomb without strict limit assertion Daniel Sanchez Quiros 2024-02-13 13:06:24 +0100
  • cc94872505 Implement bytes_to_kzg_commitment Daniel Sanchez Quiros 2024-02-13 12:44:22 +0100
  • c510991adc Implement compute kzg commitment and test da-encoder Daniel Sanchez Quiros 2024-02-13 10:41:24 +0100
  • cf8b193f3c Implement chunkify and test Daniel Sanchez Quiros 2024-02-12 19:27:28 +0100
  • dc4dba4e02 Implement columns methods from ChunksMatrix Daniel Sanchez Quiros 2024-02-12 16:02:18 +0100
  • 9a54d90d14
         Da specs main structure (#70) Daniel Sanchez 2024-02-12 15:35:23 +0100
  • 946e4760ae Remove node id dep from mixnet and fix columns access da-specs Daniel Sanchez Quiros 2024-02-12 12:26:35 +0100
  • 79d02833c5 Make test pass Daniel Sanchez Quiros 2024-02-12 12:07:35 +0100
  • bcde60a97f
         Arkworks dependency utility script (#71) Daniel Sanchez 2024-02-11 23:15:15 +0100
  • 1786d54f57 Extract common types to common module Daniel Sanchez Quiros 2024-02-09 18:13:02 +0100
  • 495e0c119a
         Add orphan proofs validation (#69) Giacomo Pasini 2024-02-09 15:12:12 +0100
  • 95aea1728c
         Update cryptarchia/cryptarchia.py add-orphan-proofs Giacomo Pasini 2024-02-09 13:23:13 +0100
  • 94c18f3cb9 Remove parameters from test functions in encoder Daniel Sanchez Quiros 2024-02-09 11:45:57 +0100
  • 53c1d0fb59 Remove duplicated column proofs from encoding schema Daniel Sanchez Quiros 2024-02-09 11:38:47 +0100
  • 74eb5f7deb Added basic testcases for verifier Daniel Sanchez Quiros 2024-02-09 11:25:01 +0100
  • 3532bdae5a Added basic testcases for dispersal Daniel Sanchez Quiros 2024-02-09 11:18:05 +0100
  • f88a8f25a5 Use single megabyte test in encoder Daniel Sanchez Quiros 2024-02-08 18:24:07 +0100
  • 7ca85a7115 Added install script for building in arm64 in osx arkworks bls dep arkworksbls-install-script Daniel Sanchez Quiros 2024-02-08 17:26:18 +0100
  • c18e2de29d Added install script for building in arm64 in osx arkworks bls dep Daniel Sanchez Quiros 2024-02-08 17:21:08 +0100
  • 07d20ba3ce Added missing calls to encode method Daniel Sanchez Quiros 2024-02-08 15:34:34 +0100
  • 92c5a64b02 Added missing test cases Daniel Sanchez Quiros 2024-02-08 15:25:07 +0100
  • 312a46e209 Added test modules for encoder, implemented basic test Daniel Sanchez Quiros 2024-02-08 13:14:14 +0100