Skip to content

Commit

Permalink
Merge branch 'master' into versionedBeaconstate
Browse files Browse the repository at this point in the history
  • Loading branch information
Sidu28 authored Feb 10, 2024
2 parents 9ecebe1 + 3e94693 commit f9362da
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 6 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ Here is a breakdown of the inputs here:
- “oracleBlockHeaderFile” is the path to the oracle block header file, that we are proving all of this against
- “stateFile” is the consensus state from that slot, containing the validator information
- “validatorIndex” is the index of the validator being proven inside state.validators
-outtputFile” - setting this will write the proofs to a json file
-outputFile” - setting this will write the proofs to a json file
- “chainID” this parameter allows certain constants to be set depending on whether the proof is being generated for a goerli or mainnet state.

Here is an example of running this command with the sample state/block files in the `/data` folder
Expand Down Expand Up @@ -88,7 +88,7 @@ Here is an example of running this command with the sample state/block files in
-oracleBlockHeaderFile ./data/deneb_goerli_block_header_7431952.json \
-stateFile ./data/deneb_goerli_slot_7431952.json \
-validatorIndex 627559 \
-outputFile "full_withdrawal_proof_627559.json \
-outputFile full_withdrawal_proof_627559.json \
-chainID 5 \
-historicalSummariesIndex 271 \
-blockHeaderIndex 8191 \
Expand All @@ -115,7 +115,7 @@ Here is a breakdown of the inputs here:
- “oracleBlockHeaderFile” is the path to the oracle block header file, that we are proving all of this against
- “stateFile” is the consensus state from that slot, containing the validator information
- “validatorIndex” is the index of the validator being proven inside state.validators
- “outtputFile” - setting this will write the proofs to a json file
-outputFile” - setting this will write the proofs to a json file
- “chainID” this parameter allows certain constants to be set depending on whether the proof is being generated for a goerli or mainnet state.

Here is an example of running this command with the sample state/block files in the `/data` folder:
Expand All @@ -130,7 +130,7 @@ Here is an example of running this command with the sample state/block files in
```

# Proof Generation Input Glossary
- `oracleBlockHeaderFile` is the block header of the oracle block heade root being used to make the proof
- `oracleBlockHeaderFile` is the block header of the oracle block header root being used to make the proof
- `stateFile` is the associated state file of the oracle block being used
- `validatorIndex` is the index of the validator being proven for in the consensus layer
- `outputFile` is the location where the generated proof will be written to
Expand Down
2 changes: 1 addition & 1 deletion beacon/constants.go
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ const (
// Number of layers for the merkleixation of the Historical Summary List in the Beacon State
HistoricalSummaryListMerkleSubtreeNumLayers = uint64(24)

// Number of layers for the merkleization of the Withdrawal List in the Exection Payload
// Number of layers for the merkleization of the Withdrawal List in the Execution Payload
WithdrawalListMerkleSubtreeNumLayers = uint64(4)

// Number of layers for the merkleization of the Beacon State
Expand Down
Binary file modified generation/generation
Binary file not shown.
3 changes: 2 additions & 1 deletion merkle_util_test.go
Original file line number Diff line number Diff line change
Expand Up @@ -616,7 +616,7 @@ func TestGetExecutionPayloadProof(t *testing.T) {

// get the proof for execution payload in the block body

exectionPayloadProof, _, _ := beacon.ProveExecutionPayloadAgainstBlockHeaderDeneb(&blockHeader, block.Body)
executionPayloadProof, _, _ := beacon.ProveExecutionPayloadAgainstBlockHeaderDeneb(&blockHeader, block.Body)

Check failure on line 619 in merkle_util_test.go

View workflow job for this annotation

GitHub Actions / Run Go Tests

executionPayloadProof declared and not used

// get the hash root of the actual execution payload
var executionPayloadHashRoot, _ = block.Body.ExecutionPayload.HashTreeRoot()
Expand All @@ -628,6 +628,7 @@ func TestGetExecutionPayloadProof(t *testing.T) {

// calling the proof verification function
flag := epgcommon.ValidateProof(root, exectionPayloadProof, executionPayloadHashRoot, index)

Check failure on line 630 in merkle_util_test.go

View workflow job for this annotation

GitHub Actions / Run Go Tests

undefined: exectionPayloadProof

if flag != true {
fmt.Println("error")
}
Expand Down

0 comments on commit f9362da

Please sign in to comment.