refactor: utils, step, signature, voting #10

ratankaliani · 2023-08-11T05:28:19Z

Refactor

Moved helper fn's to utils
Separated proof traits by category (signature, step, validator, voting)
Create new fixtures in main with CLI

…ing index

…roof

…dators hash, validators hash)

…n/sig-verification

ratankaliani added 30 commits July 27, 2023 18:28

use generic types

21cbe82

feat: read signed block from rpc

1346f0a

feat: get merkle encoding, matches marshal tendermint val

a8f3d5a

feat: Verifying signatures from the celestia val set

a537988

refactor: cleanup

41d1112

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

e1e7f81

…ing index

verify header in message

674ba4e

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

ab6c61c

…roof

got merkle leaf proof to verify

3762572

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

fcd577e

…dators hash, validators hash)

lint

2b1e38c

rm voting file

2505499

feat: add prints to merkle

24eb6bc

feat: add subcircuit to check total voting power

9dfe40a

feat: generate inputs, update cargo lock

bba23c9

lint

dceee7f

style: lint

135ec27

chore: update pkgs

5a22ef1

lint, merge

cb75cdc

wip: adding field traits

02f947f

merge, fix test paths

e2c1ebe

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

997e800

…n/sig-verification

feat: verify sig

0c212ba

get all validator pubkeys, signed votes and signatures

cbe22b8

new val test

d2c2d70

write sigs to file

cd2548f

bug: pubkey equivocation check failing

995d8c6

add scaffold for verifyblock method

2ce7fd6

feat: got verify sig working

e3d3f11

lint

918c692

ratankaliani and others added 20 commits August 8, 2023 14:16

refactor: pass refs instead of objs

b76efc9

merge, add msg byte length

ba324b1

attempting to test small header

6b09a05

generate merkle root passes

e036413

update inputs

254bbcd

wip: trying to verify just the merkle proofs using test_step

e0394fe

fix: set virtual targets correctly, wip: test_step

41a0dcf

wip: working on step

7298dd2

verified signatures

6263395

lint

ad21bd3

wip: debugging val hash and extracted val hash

827b359

wip: fixed marshal tendermint validator working on using le bits

0128c6a

verify small header!

c7f5538

verify step, uncomment all parts

7ed5c15

chore: cargo fmt

d3ec95b

cleanup

d8da07d

migrate non-circuit utils into utils

1c4d4e6

refactor: organize functionality by file, new traits

15b837b

chore: cargo fmt

411ccf9

refactor: clean up generate val hash

ca26dcb

ratankaliani changed the title ~~refactor~~ refactor: separate by functionality Aug 11, 2023

ratankaliani changed the title ~~refactor: separate by functionality~~ refactor: utils, step, signature, voting Aug 11, 2023

ratankaliani and others added 3 commits August 10, 2023 23:29

lint

cf3ac53

merge

93be33b

chore: cargo update

819bc79

jtguibas approved these changes Aug 11, 2023

View reviewed changes

ratankaliani changed the base branch from ratan/sig-verification to main August 11, 2023 21:26

ratankaliani added 2 commits August 11, 2023 14:41

merge

edde8bb

wip: need to run tests

59bd275

ratankaliani merged commit 0a5afa1 into main Aug 11, 2023
1 check passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

refactor: utils, step, signature, voting #10

refactor: utils, step, signature, voting #10

ratankaliani commented Aug 11, 2023 •

edited

Loading

refactor: utils, step, signature, voting #10

refactor: utils, step, signature, voting #10

Conversation

ratankaliani commented Aug 11, 2023 • edited Loading

Refactor

ratankaliani commented Aug 11, 2023 •

edited

Loading