Skip to content
This repository has been archived by the owner on Aug 30, 2024. It is now read-only.

feat: small header verification #9

Merged
merged 55 commits into from
Aug 11, 2023
Merged

feat: small header verification #9

merged 55 commits into from
Aug 11, 2023

Commits on Jul 28, 2023

  1. use generic types

    @ratankaliani
    ratankaliani committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    21cbe82 View commit details
    Browse the repository at this point in the history

  2. feat: read signed block from rpc

    @ratankaliani
    ratankaliani committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    1346f0a View commit details
    Browse the repository at this point in the history

  3. feat: get merkle encoding, matches marshal tendermint val

    @ratankaliani
    ratankaliani committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    a8f3d5a View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. feat: Verifying signatures from the celestia val set

    @ratankaliani
    ratankaliani committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    a537988 View commit details
    Browse the repository at this point in the history

  2. refactor: cleanup

    @ratankaliani
    ratankaliani committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    41d1112 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. feat: Add simple circuit to verify header hash matches the correspond… 

    …ing index
    @ratankaliani
    ratankaliani committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    e1e7f81 View commit details
    Browse the repository at this point in the history

  2. verify header in message

    @ratankaliani
    ratankaliani committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    674ba4e View commit details
    Browse the repository at this point in the history

  3. feat: moved inner hash to separate fn, testing get_root_from_merkle_p… 

    …roof
    @ratankaliani
    ratankaliani committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    ab6c61c View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. got merkle leaf proof to verify

    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    3762572 View commit details
    Browse the repository at this point in the history

  2. refactor: simplify testing for different fields (data hash, next vali… 

    …dators hash, validators hash)
    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    fcd577e View commit details
    Browse the repository at this point in the history

  3. lint

    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    2b1e38c View commit details
    Browse the repository at this point in the history

  4. rm voting file

    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    2505499 View commit details
    Browse the repository at this point in the history

  5. feat: add prints to merkle

    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    24eb6bc View commit details
    Browse the repository at this point in the history

  6. feat: add subcircuit to check total voting power

    @ratankaliani
    ratankaliani committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    9dfe40a View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. feat: generate inputs, update cargo lock

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    bba23c9 View commit details
    Browse the repository at this point in the history

  2. lint

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    dceee7f View commit details
    Browse the repository at this point in the history

  3. style: lint

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    135ec27 View commit details
    Browse the repository at this point in the history

  4. chore: update pkgs

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    5a22ef1 View commit details
    Browse the repository at this point in the history

  5. lint, merge

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    cb75cdc View commit details
    Browse the repository at this point in the history

  6. wip: adding field traits

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    02f947f View commit details
    Browse the repository at this point in the history

  7. merge, fix test paths

    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    e2c1ebe View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/ratan/generate-inputs' into rata… 

    …n/sig-verification
    @ratankaliani
    ratankaliani committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    997e800 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. feat: verify sig

    @ratankaliani
    ratankaliani committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    0c212ba View commit details
    Browse the repository at this point in the history

  2. get all validator pubkeys, signed votes and signatures

    @ratankaliani
    ratankaliani committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    cbe22b8 View commit details
    Browse the repository at this point in the history

  3. new val test

    @ratankaliani
    ratankaliani committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    d2c2d70 View commit details
    Browse the repository at this point in the history

  4. write sigs to file

    @ratankaliani
    ratankaliani committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    cd2548f View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2023

  1. bug: pubkey equivocation check failing

    @ratankaliani
    ratankaliani committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    995d8c6 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. add scaffold for verifyblock method

    @ratankaliani
    ratankaliani committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    2ce7fd6 View commit details
    Browse the repository at this point in the history

  2. feat: got verify sig working

    @ratankaliani
    ratankaliani committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    e3d3f11 View commit details
    Browse the repository at this point in the history

  3. lint

    @ratankaliani
    ratankaliani committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    918c692 View commit details
    Browse the repository at this point in the history

  4. use affine point target in Tendermint validator

    @ratankaliani
    ratankaliani committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    b1a5a2e View commit details
    Browse the repository at this point in the history

  5. remove byte representation of pubkey

    @ratankaliani
    ratankaliani committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    485f096 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. refactor: use set_affine_point_target

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    9c8f710 View commit details
    Browse the repository at this point in the history

  2. refactor: use set_affine_point_target

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    b16608b View commit details
    Browse the repository at this point in the history

  3. refactor: add target wrapper for booltarget arrays

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    6958b3b View commit details
    Browse the repository at this point in the history

  4. replace bool target arr with tendermintHashTarget

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    44633f8 View commit details
    Browse the repository at this point in the history

  5. feat: finish scaffold

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    16b6948 View commit details
    Browse the repository at this point in the history

  6. fix: add make_validators_circuit virtual targets

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    ccf397e View commit details
    Browse the repository at this point in the history

  7. chore: cargo fmt

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    f31fa02 View commit details
    Browse the repository at this point in the history

  8. refactor: pass refs instead of objs

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    b76efc9 View commit details
    Browse the repository at this point in the history

  9. merge, add msg byte length

    @ratankaliani
    ratankaliani committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    ba324b1 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. attempting to test small header

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6b09a05 View commit details
    Browse the repository at this point in the history

  2. generate merkle root passes

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    e036413 View commit details
    Browse the repository at this point in the history

  3. update inputs

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    254bbcd View commit details
    Browse the repository at this point in the history

  4. wip: trying to verify just the merkle proofs using test_step

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    e0394fe View commit details
    Browse the repository at this point in the history

  5. fix: set virtual targets correctly, wip: test_step

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    41a0dcf View commit details
    Browse the repository at this point in the history

  6. wip: working on step

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    7298dd2 View commit details
    Browse the repository at this point in the history

  7. verified signatures

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6263395 View commit details
    Browse the repository at this point in the history

  8. lint

    @ratankaliani
    ratankaliani committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    ad21bd3 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. wip: debugging val hash and extracted val hash

    @ratankaliani
    ratankaliani committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    827b359 View commit details
    Browse the repository at this point in the history

  2. wip: fixed marshal tendermint validator working on using le bits

    @ratankaliani
    ratankaliani committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    0128c6a View commit details
    Browse the repository at this point in the history

  3. verify small header!

    @ratankaliani
    ratankaliani committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    c7f5538 View commit details
    Browse the repository at this point in the history

  4. verify step, uncomment all parts

    @ratankaliani
    ratankaliani committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    7ed5c15 View commit details
    Browse the repository at this point in the history

  5. chore: cargo fmt

    @ratankaliani
    ratankaliani committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    d3ec95b View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. lint

    @ratankaliani
    ratankaliani committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    cf3ac53 View commit details
    Browse the repository at this point in the history