M2 Mainnet w/ deneb proofs

.github/workflows/go_test.yml

@@ -19,11 +19,13 @@ jobs:
     - name: Install Unzip
       run: sudo apt-get install unzip
     - name: Unzip the File 1
-      run: unzip data/goerli_slot_6397852.json.zip -d ./data
+      run: unzip data/deneb_goerli_slot_7413760.json.zip -d ./data
     - name: Unzip the File 2
       run: unzip data/goerli_slot_6397952.json.zip -d ./data
     - name: Unzip the File 3
-      run: unzip data/goerli_slot_6399998.json.zip -d ./data
+      run: unzip data/deneb_goerli_slot_7431952.json.zip -d ./data
+    - name: Unzip the File 3
+      run: unzip data/deneb_goerli_slot_7421952.json.zip -d ./data
 
     - name: Set up Go 1.x
       uses: actions/setup-go@v2

.gitignore

@@ -1,3 +1,17 @@
 data/goerli_slot_6397852.json
 data/goerli_slot_6397952.json
-data/goerli_slot_6399998.json
+data/goerli_slot_6399998.json
+data/deneb_slot_7426414.json
+data/deneb_goerli_slot_7416760.json
+data/deneb_goerli_slot_7413760.json
+data/deneb_goerli_slot_7421952.json
+data/deneb_goerli_slot_7431952.json
+
+generation/generation
+
+solidityProofGen/solidityProofGen
+
+
+test
+
+**/.DS_Store

README.md

@@ -11,6 +11,7 @@ This package allows you to generate withdrawal credential proofs, withdrawal pro
 ## Build the Executable
 
 ```
+$cd proofGenCli
 $go build
 ```
 
@@ -21,7 +22,7 @@ $ ./proof-gen -command ValidatorFieldsProof -oracleBlockHeaderFile [ORACLE_BLOCK
 ```
 Here is an example of running this command with the sample state/block files in the `/data` folder
 ```
-./proof-gen -command ValidatorFieldsProof -oracleBlockHeaderFile "data/goerli_block_header_6399998.json" -stateFile "data/goerli_slot_6399998.json" -validatorIndex 302913 -outputFile "withdrawal_credential_proof_302913.json" -chainID 5
+./proof-gen -command ValidatorFieldsProof -oracleBlockHeaderFile "../data/goerli_block_header_6399998.json" -stateFile "../data/goerli_slot_6399998.json" -validatorIndex 302913 -outputFile "withdrawal_credential_proof_302913.json" -chainID 5
 ```
 ### Generate Withdrawal Proof
 Here is the command:
@@ -31,7 +32,7 @@ $ ./proofGeneration -command WithdrawalFieldsProof -oracleBlockHeaderFile [ORACL
 Here is an example of running this command with the sample state/block files in the `/data` folder
 
 ```
-./proofGeneration -command WithdrawalFieldsProof -oracleBlockHeaderFile "data/goerli_block_header_6399998.json" -stateFile "data/goerli_slot_6399998.json" -validatorIndex 200240 -outputFile "withdrawal_proof_302913.json" -chainID 5 -historicalSummariesIndex 146 -blockHeaderIndex 8092 -historicalSummaryStateFile "data/goerli_slot_6397852.json" -blockHeaderFile  "data/goerli_block_header_6397852.json" -blockBodyFile "data/goerli_block_6397852.json" -withdrawalIndex 0
+./proofGeneration -command WithdrawalFieldsProof -oracleBlockHeaderFile "../data/goerli_block_header_6399998.json" -stateFile "../data/goerli_slot_6399998.json" -validatorIndex 200240 -outputFile "withdrawal_proof_302913.json" -chainID 5 -historicalSummariesIndex 146 -blockHeaderIndex 8092 -historicalSummaryStateFile "../data/goerli_slot_6397852.json" -blockHeaderFile  "../data/goerli_block_header_6397852.json" -blockBodyFile "../data/goerli_block_6397852.json" -withdrawalIndex 0
 ```
 
 ### Generate a Balance Update Proof.  
@@ -40,7 +41,7 @@ $ ./proofGeneration "BalanceUpdateProof"  -oracleBlockHeaderFile [ORACLE_BLOCK_H
 ```
 Here is an example of running this command with the sample state/block files in the `/data` folder:
 ```
-./proof-gen -command BalanceUpdateProof -oracleBlockHeaderFile "data/goerli_block_header_6399998.json" -stateFile "data/goerli_slot_6399998.json" -validatorIndex 302913 -outputFile "withdrawal_credential_proof_302913.json" -chainID 5
+./proof-gen -command BalanceUpdateProof -oracleBlockHeaderFile "../data/goerli_block_header_6399998.json" -stateFile "../data/goerli_slot_6399998.json" -validatorIndex 302913 -outputFile "withdrawal_credential_proof_302913.json" -chainID 5
 ```
 
 # Proof Generation Input Glossary

beacon/beacon_state_top_level_roots.go

@@ -0,0 +1,56 @@
+package beacon
+
+import (
+	"reflect"
+
+	"github.com/Layr-Labs/eigenpod-proofs-generation/common"
+	"github.com/attestantio/go-eth2-client/spec/phase0"
+)
+
+type BeaconStateTopLevelRoots struct {
+	GenesisTimeRoot                  *phase0.Root
+	GenesisValidatorsRoot            *phase0.Root
+	SlotRoot                         *phase0.Root
+	ForkRoot                         *phase0.Root
+	LatestBlockHeaderRoot            *phase0.Root
+	BlockRootsRoot                   *phase0.Root
+	StateRootsRoot                   *phase0.Root
+	HistoricalRootsRoot              *phase0.Root
+	ETH1DataRoot                     *phase0.Root
+	ETH1DataVotesRoot                *phase0.Root
+	ETH1DepositIndexRoot             *phase0.Root
+	ValidatorsRoot                   *phase0.Root
+	BalancesRoot                     *phase0.Root
+	RANDAOMixesRoot                  *phase0.Root
+	SlashingsRoot                    *phase0.Root
+	PreviousEpochParticipationRoot   *phase0.Root
+	CurrentEpochParticipationRoot    *phase0.Root
+	JustificationBitsRoot            *phase0.Root
+	PreviousJustifiedCheckpointRoot  *phase0.Root
+	CurrentJustifiedCheckpointRoot   *phase0.Root
+	FinalizedCheckpointRoot          *phase0.Root
+	InactivityScoresRoot             *phase0.Root
+	CurrentSyncCommitteeRoot         *phase0.Root
+	NextSyncCommitteeRoot            *phase0.Root
+	LatestExecutionPayloadHeaderRoot *phase0.Root
+	NextWithdrawalIndexRoot          *phase0.Root
+	NextWithdrawalValidatorIndexRoot *phase0.Root
+	HistoricalSummariesRoot          *phase0.Root
+}
+
+func ProveBeaconTopLevelRootAgainstBeaconState(beaconTopLevelRoots *BeaconStateTopLevelRoots, index uint64) (common.Proof, error) {
+	v := reflect.ValueOf(*beaconTopLevelRoots)
+	beaconTopLevelRootsList := make([]interface{}, v.NumField())
+	for i := 0; i < v.NumField(); i++ {
+		r := v.Field(i).Interface()
+		typedR := r.(*phase0.Root)
+		beaconTopLevelRootsList[i] = *typedR
+
+	}
+	roots := make([]phase0.Root, len(beaconTopLevelRootsList))
+	for i, v := range beaconTopLevelRootsList {
+		roots[i] = v.(phase0.Root)
+	}
+
+	return common.GetProof(roots, index, beaconStateMerkleSubtreeNumLayers)
+}

beacon/block.go

@@ -0,0 +1,65 @@
+package beacon
+
+import (
+	"github.com/Layr-Labs/eigenpod-proofs-generation/common"
+	"github.com/attestantio/go-eth2-client/spec/phase0"
+	ssz "github.com/ferranbt/fastssz"
+)
+
+func ProveBlockBodyAgainstBlockHeader(blockHeader *phase0.BeaconBlockHeader) (common.Proof, error) {
+	blockHeaderContainerRoots, err := GetBlockHeaderFieldRoots(blockHeader)
+
+	if err != nil {
+		return nil, err
+	}
+
+	return common.GetProof(blockHeaderContainerRoots, BeaconBlockBodyRootIndex, blockHeaderMerkleSubtreeNumLayers)
+}
+
+// refer to this: https://github.com/attestantio/go-eth2-client/blob/654ac05b4c534d96562329f988655e49e5743ff5/spec/phase0/beaconblockheader_encoding.go
+func ProveStateRootAgainstBlockHeader(b *phase0.BeaconBlockHeader) (common.Proof, error) {
+
+	beaconBlockHeaderContainerRoots, err := GetBlockHeaderFieldRoots(b)
+	if err != nil {
+		return nil, err
+	}
+
+	return common.GetProof(beaconBlockHeaderContainerRoots, stateRootIndex, blockHeaderMerkleSubtreeNumLayers)
+}
+
+func ProveSlotAgainstBlockHeader(blockHeader *phase0.BeaconBlockHeader) (common.Proof, error) {
+	blockHeaderContainerRoots, err := GetBlockHeaderFieldRoots(blockHeader)
+	if err != nil {
+		return nil, err
+	}
+
+	return common.GetProof(blockHeaderContainerRoots, SlotIndex, blockHeaderMerkleSubtreeNumLayers)
+}
+
+func GetBlockHeaderFieldRoots(blockHeader *phase0.BeaconBlockHeader) ([]phase0.Root, error) {
+	blockHeaderContainerRoots := make([]phase0.Root, beaconBlockHeaderNumFields)
+
+	hh := ssz.NewHasher()
+
+	hh.PutUint64(uint64(blockHeader.Slot))
+	copy(blockHeaderContainerRoots[0][:], hh.Hash())
+	hh.Reset()
+
+	hh.PutUint64(uint64(blockHeader.ProposerIndex))
+	copy(blockHeaderContainerRoots[1][:], hh.Hash())
+	hh.Reset()
+
+	hh.PutBytes(blockHeader.ParentRoot[:])
+	copy(blockHeaderContainerRoots[2][:], hh.Hash())
+	hh.Reset()
+
+	hh.PutBytes(blockHeader.StateRoot[:])
+	copy(blockHeaderContainerRoots[3][:], hh.Hash())
+	hh.Reset()
+
+	hh.PutBytes(blockHeader.BodyRoot[:])
+	copy(blockHeaderContainerRoots[4][:], hh.Hash())
+	hh.Reset()
+
+	return blockHeaderContainerRoots, nil
+}