Commit Graph

Select branches

Hide Pull Requests

Carnot-Simulation

Carnot-vote-aggregation

PoS-Attestation

RFC

Unhappy-Path-Test1.1

UnhappyPathAndPaceMaker

UnhappyPathAndPaceMaker-SimpleImplementation-NoSyncMsg

add-comment

add-epoch-transition

add-fork-choice-rule

add-nonce-spec

add-orphan-proofs

add-slot-contrib

add-tests-to-ci

arbitrary-31byte-data

arkworksbls-install-script

blend

certificate-signed-bitfield

certificate-verification

cl/executable-spec

cl/integrate-risc0-proofs-with-cl

cl/user-ptx

committee-sizes

committee-sizes-AM

cryptarchia/GHOST-fork-choice

da-api

da-encoder

da-fail-duplicated-blob

da-fix-hashing

da-fk20

da-fk20-fixes

da-kzg-core

da-kzg-rs

da-kzg-test

da-poc

da-poc-tests

da-protocol

da-rs-core

da-specs

da-subnetwork-distribution

da-threshold-signatures

da-verifier-protocol

disclaimer

eth-specs

execution-model

extract-implicit-info

fished-yates-specify

fix-committees-ids

fix-rebase

fix-rs-decode

gitignore

include_PoL_into_cryptarchia_specs

initial-python-translation

little-touches

master

messages-spec

mixnet-v2

mixnet-v2-flex-sphinx

mixnet-v2-sim

mixnet-v2-sim-after-france

mixnet-v2-sim-fin

mixnet-v2-sim-gossip

mixnet-v2-simulation

mixnet-v2-simulation-pyproject

more-events

move-eth-submodule

nonce-spec

overlay-based-happy-tests

pyproject

python-impl

python-impl-Tests

python-impl-Tests2

python-impl-Tests3-UnhappyPath

python-sad-path

random-beacon-v1

rb-revision

remove-leftovers

simplify-code

simplify-window

timing-attack

tree-overlay

unhappy-path-tests

use-events

verifier-indexing

yj-tmp

zeegomo-patch-1

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#112

#113

#114

#114

#115

#116

#116

#117

#118

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#28

#29

#3

#30

#31

#33

#34

#35

#36

#37

#38

#39

#4

#41

#42

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#98

#99

Mono Color

• c8690fe047
  Merge ee2c36bc29de31ffecc771386c96179d066178d2 into 3f3427ee9fef7753cd21e77d59e56a340745d54e davidrusu 2025-01-30 12:24:10 +04:00
• 3f3427ee9f
  NomosDA spec v1 updates (#117) master Daniel Sanchez 2025-01-29 10:42:53 +00:00
• 3a8f8167a9
  Make da verification indempotent (#118) gusto 2025-01-29 13:15:10 +03:00
• 34bb17af96
  Make da verification indempotent Gusto 2025-01-29 11:58:38 +02:00
• 44af97f493
  Disperse encoded data in full flow test Gusto 2025-01-29 10:16:53 +02:00
• 7174f85cb3 Full flow renaming danielSanchezQ 2025-01-24 17:31:31 +00:00
• f5f22a8c3d Fix tests danielSanchezQ 2025-01-24 17:08:14 +00:00
• 787062e1da Fix missing parameter in dispersal danielSanchezQ 2025-01-24 16:51:12 +00:00
• 4e248645e9 Fix more imports danielSanchezQ 2025-01-24 16:43:05 +00:00
• 8c9bef7190 Fix dispersal danielSanchezQ 2025-01-24 16:42:59 +00:00
• 1aca26318b Fix more imports danielSanchezQ 2025-01-24 16:31:36 +00:00
• dadb92104d Fix verifier imports danielSanchezQ 2025-01-24 16:23:50 +00:00
• 8a12deacfa Fix tests danielSanchezQ 2025-01-24 15:53:12 +00:00
• b31c571663 Update verifier danielSanchezQ 2025-01-24 15:53:00 +00:00
• 03aafc82f0 Remove certificate from verifier danielSanchezQ 2025-01-24 15:14:02 +00:00
• 58d9f3d43d Fix calls danielSanchezQ 2025-01-24 14:50:02 +00:00
• 543e0549ca Modify and rename hash_commitment method. Now we just hash the column commitment itself. danielSanchezQ 2025-01-24 14:28:35 +00:00
• ee2c36bc29 cryptarchia: remove debug log cryptarchia/GHOST-fork-choice David Rusu 2024-12-01 23:12:26 +04:00
• 155ac242c3 cryptarchia: update tests David Rusu 2024-12-01 22:54:19 +04:00
• de32864bd9 cryptarchia: switch back to longest chain David Rusu 2024-12-01 22:49:41 +04:00
• dca237fc51 cryptachia/ghost: update fork choice rule comments David Rusu 2024-11-14 16:08:38 +04:00
• 55da6dd79d cryptarchia: remove height from ledger state David Rusu 2024-11-02 00:08:08 +04:00
• 9eabadd22d cryptarchia: cleanup David Rusu 2024-11-02 00:01:20 +04:00
• 987060da31 cryptarchia: cleanup David Rusu 2024-11-01 23:48:43 +04:00
• c33365b48c cryptarchia: remove unused imports David Rusu 2024-11-01 23:29:47 +04:00
• e4d8887fe4 cryptarchia/ghost: integrate GHOST with maxvalid fork choice David Rusu 2024-11-01 23:21:49 +04:00
• adaeba2493 cryptarchia/ghost: impl GHOST fork choice rule David Rusu 2024-11-01 20:36:45 +04:00
• 5050f4636e cryptarchia/ghost: rewrite common_prefix_depth in terms of iter_chain David Rusu 2024-11-01 17:59:18 +04:00
• 0421e9f8be cryptarchia/ghost: remove local / fork naming in common_prefix_depth David Rusu 2024-11-01 12:22:59 +04:00
• 91e1482761 cryptarchia/ghost: remove Chain abstraction David Rusu 2024-11-01 12:16:06 +04:00
• 170b825d5b cryptachia/ghost: rewrite on_block to remove dependency on Chain David Rusu 2024-11-01 12:09:44 +04:00
• 639b7444c4 cryptarchia/ghost: validate_header w.r.t. block parent David Rusu 2024-11-01 10:49:09 +04:00
• cc50e2e897 cryptarchia/ghost: rewrite unimported_orphan w/ common_prefix_depths David Rusu 2024-11-01 10:17:37 +04:00
• d1b567835f cryptarchia/ghost: remove redundant check David Rusu 2024-11-01 09:52:04 +04:00
• 363ca76ff6 cryptarchia/ghost: unimported_orphans returns orphans w.r.t. to tip David Rusu 2024-11-01 09:49:59 +04:00
• 30bc359a77 cryptarchia/ghost: maxvalid_bg uses block ids rather than chains David Rusu 2024-10-31 02:37:37 +04:00
• e9d4793287 cryptarchia/ghost: fix chain density calculation David Rusu 2024-10-31 02:31:52 +04:00
• 37eb040a99 cryptarchia/ghost: common_prefix_depth returns depth of both chains David Rusu 2024-10-31 02:10:19 +04:00
• 893ffb5915 cryptarchia/ghost: remove common_prefix_len helper David Rusu 2024-10-31 01:55:36 +04:00
• bf5ef98174 cryptarchia/ghost: prep for move to weight based fork choice David Rusu 2024-10-31 01:52:42 +04:00
• b79369f563
  Blend: Tiers and Message Flows blend Youngjoon Lee 2024-10-24 15:34:18 +09:00
• 04bfeee85d
  Merge d50633b48bd2a06d8e5951446170a9304d6be373 into 5434fcb31545d76171ab2081d5ceeca7d49be11a thomaslavaur 2024-09-03 05:50:03 +00:00
• d50633b48b revert usage of slot randomness for epoch nonce include_PoL_into_cryptarchia_specs thomaslavaur 2024-09-03 07:49:56 +02:00
• 0ed2cd8aae add back commitment to the proof to pass tests thomaslavaur 2024-08-30 10:24:55 +02:00
• f6fff116ac add parent to proofs thomaslavaur 2024-08-30 10:07:41 +02:00
• e9c9e976a0 add some TODOs thomaslavaur 2024-08-29 07:10:19 +02:00
• 3d80f68381 add proof constraints specification thomaslavaur 2024-08-29 07:07:46 +02:00
• d003d624e7 Remove duplicated code thomaslavaur 2024-08-28 15:50:08 +02:00
• 01c8de4f7b Add a function to compute lottery threshold thomaslavaur 2024-08-28 15:46:48 +02:00
• 680b2d2e54 fix VRF order for risc0 proof and not Circom thomaslavaur 2024-08-28 15:37:51 +02:00
• ecf865cddb redefine proof verification comments thomaslavaur 2024-08-28 13:21:35 +02:00
• 0d0499b510 add PoL specification without risc0 integration thomaslavaur 2024-08-28 12:52:28 +02:00
• c5a83fa272
  Merge ca1479bb9449f192612a51bf7b82e4ce32888df6 into 5434fcb31545d76171ab2081d5ceeca7d49be11a Giacomo Pasini 2024-08-27 21:52:46 +00:00
• ca1479bb94
  Remove leader proof commitment from code zeegomo-patch-1 Giacomo Pasini 2024-08-27 23:50:56 +02:00
• 5434fcb315
  Move eth-specs submodule to da (#111) Daniel Sanchez 2024-07-22 07:44:36 +00:00
• 4f3dd3f35f Move eth-specs submodule to da move-eth-submodule danielSanchezQ 2024-07-22 09:31:05 +02:00
• 441ac2b765 fix merge issues; unpack message at node da-poc holisticode 2024-07-19 13:11:03 -05:00
• 30ea9f9de4 Merge branch 'da-poc-tests' into da-poc holisticode 2024-07-19 11:34:02 -05:00
• c9769a2b8b
  Deprecate Carnot spec (#110) Alvatar 2024-07-19 11:12:43 +03:00
• 5bc4d86767 Deprecate Carnot spec Álvaro Castro-Castilla 2024-07-19 11:05:33 +03:00
• 8917b976e6
  Merge pull request #109 from logos-co/deprecate-old-mixnet Alvatar 2024-07-19 11:04:41 +03:00
• 0e834e0d05
  revert import path changes Youngjoon Lee 2024-07-19 16:26:12 +09:00
• 4d49fba52a
  Direct DA connection protocol (#100) gusto 2024-07-19 10:10:56 +03:00
• 1b4a8609ba
  use relative imports Youngjoon Lee 2024-07-19 15:23:51 +09:00
• bf41a367d0
  update import paths and add __init__.py to make it testable Youngjoon Lee 2024-07-19 13:37:06 +09:00
• 3bf199bd9f
  Mixnet: Deprecate old spec Youngjoon Lee 2024-07-19 13:13:37 +09:00
• 6a3d0cb83a added test runs da-poc-tests holisticode 2024-07-18 17:09:54 -05:00
• 0f7e26d8fe
  Merge pull request #108 from logos-co/drusu/move-cl-goas-to-nomos-pocs Alvatar 2024-07-18 16:32:55 +03:00
• ef07f2c75f move cl, goas to nomos-pocs David Rusu 2024-07-18 14:25:53 +04:00
• cba4016461
  Use dispersal proto message in poc executor Gusto 2024-07-17 19:37:56 +03:00
• d921d64411
  Test for protocol message helper functions Gusto 2024-07-17 19:22:43 +03:00
• 7e4929de8c
  Move dispersal proto into subnets poc Gusto 2024-07-17 18:50:41 +03:00
• 83011bc051
  use https instead of ssh in .gitmodules pyproject Youngjoon Lee 2024-07-17 11:56:32 +09:00
• e97f581ed0
  fix gitmodules mixnet-v2-simulation-pyproject Youngjoon Lee 2024-07-17 11:50:15 +09:00
• b96058fb45
  add pyproject.toml Youngjoon Lee 2024-07-17 10:03:09 +09:00
• 3af2d9a0d4
  Add pyproject.toml so that other projects can reference it Youngjoon Lee 2024-07-17 10:23:44 +09:00
• 4d8a3dfb9c
  CL: expand scope of nullifier proof to an "input proof" (#106) davidrusu 2024-07-16 18:34:26 +04:00
• 669f75764a cl/ledger: prove_input_nullifier -> prove_input David Rusu 2024-07-16 18:31:50 +04:00
• aeabe51bce cl: add death_cm to cl::Input commitment David Rusu 2024-07-16 18:26:55 +04:00
• 4317d46e3f
  Parse length+message in the proto module Gusto 2024-07-16 16:04:59 +03:00
• bdea2b3c7e cl: nullifier proof -> input proof; add death_cm to input proof David Rusu 2024-07-16 14:54:34 +04:00
• 48320aa586
  Explicite package name for dispersal proto messages Gusto 2024-07-15 19:21:06 +03:00
• 44689d6e0c
  Write to connections in parallel Gusto 2024-07-11 19:10:09 +03:00
• a7d17ff53f
  Remove redundant BlobId type Gusto 2024-07-11 15:59:12 +03:00
• 46495f04a5
  Add helper methods for dispersal errors Gusto 2024-07-11 13:43:16 +03:00
• a72dab131a
  Reusable types in dispersal.proto Gusto 2024-07-11 13:34:30 +03:00
• dc1fa97fa3
  Dispersal wrapper messages for executor to node communication Gusto 2024-07-11 14:03:13 +03:00
• 775d9fc6b4
  WIP: Direct DA connection protocol Gusto 2024-07-08 16:21:14 +03:00
• 38bd5b56f9
  update readme mixnet-v2-simulation Youngjoon Lee 2024-07-15 23:44:56 +09:00
• 69c50316d6
  cl/integrate risc0 (#103) davidrusu 2024-07-15 16:51:21 +04:00
• eae11f51ab cl: comment out the failing ptx tests for now. David Rusu 2024-07-15 16:35:42 +04:00
• 0b9c66c3a3 cl: cleanup commented out code David Rusu 2024-07-15 16:25:19 +04:00
• f7f931f73e
  Mixnet: Simulation Youngjoon Lee 2024-07-15 18:07:26 +09:00
• 693880ad35
  Use max_message_size and max_route_len for Sphinx encoding mixnet-v2-flex-sphinx Youngjoon Lee 2024-07-13 15:53:34 +09:00
• f088e700f1 cl: get cl tests building again David Rusu 2024-07-12 10:25:25 +04:00
• 887671276d cl: restructure cl into a workspace and integrate nullifier proof David Rusu 2024-07-12 09:24:58 +04:00
• 51f6c66a64 cl: restructure cl into a workspace and integrate nullifier proof cl/integrate-risc0-proofs-with-cl David Rusu 2024-07-12 09:24:58 +04:00
• 376c66485b add readme, comment code, add sync for dispersal holisticode 2024-07-11 15:28:21 -05:00
• 2c899518be
  Make things configurable (cli args) holisticode 2024-07-10 18:41:50 -05:00
• 43c6e7e672
  finalized first roundtrip; has bugs holisticode 2024-07-09 19:11:29 -05:00