Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implemented decoding and hash rules for execution requests #8668

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,12 @@
import tech.pegasys.teku.infrastructure.ssz.tree.TreeNode;
import tech.pegasys.teku.spec.datastructures.type.SszPublicKey;

// https://eips.ethereum.org/EIPS/eip-7251
public class ConsolidationRequest
extends Container3<ConsolidationRequest, SszByteVector, SszPublicKey, SszPublicKey> {

public static final byte REQUEST_TYPE = 0x2;

public static final ConsolidationRequestSchema SSZ_SCHEMA = new ConsolidationRequestSchema();

protected ConsolidationRequest(
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -24,10 +24,13 @@
import tech.pegasys.teku.spec.datastructures.type.SszPublicKey;
import tech.pegasys.teku.spec.datastructures.type.SszSignature;

// https://eips.ethereum.org/EIPS/eip-6110
public class DepositRequest
extends Container5<
DepositRequest, SszPublicKey, SszBytes32, SszUInt64, SszSignature, SszUInt64> {

public static final byte REQUEST_TYPE = 0x0;

DepositRequest(
final DepositRequestSchema schema,
final BLSPublicKey pubkey,
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,104 @@
/*
* Copyright Consensys Software Inc., 2024
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
* an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the
* specific language governing permissions and limitations under the License.
*/

package tech.pegasys.teku.spec.datastructures.execution.versions.electra;

import com.google.common.annotations.VisibleForTesting;
import java.util.Comparator;
import java.util.List;
import org.apache.tuweni.bytes.Bytes;
import org.apache.tuweni.bytes.Bytes32;
import tech.pegasys.teku.infrastructure.crypto.Hash;
import tech.pegasys.teku.infrastructure.ssz.SszList;
import tech.pegasys.teku.spec.datastructures.execution.ExecutionRequestsBuilder;

/*
Implement the rules for decoding and hashing execution requests according to https://eips.ethereum.org/EIPS/eip-7685
*/
public class ExecutionRequestsDataCodec {

private final ExecutionRequestsSchema executionRequestsSchema;

public ExecutionRequestsDataCodec(final ExecutionRequestsSchema executionRequestsSchema) {
this.executionRequestsSchema = executionRequestsSchema;
}

public ExecutionRequests decode(final List<Bytes> executionRequestData) {
final ExecutionRequestsBuilder executionRequestsBuilder =
new ExecutionRequestsBuilderElectra(executionRequestsSchema);

executionRequestData.forEach(
data -> {
// First byte of the data is the type of the execution request
final byte type = data.get(0);
switch (type) {
case DepositRequest.REQUEST_TYPE ->
executionRequestsBuilder.deposits(
executionRequestsSchema
.getDepositRequestsSchema()
.sszDeserialize(data.slice(1))
.asList());
case WithdrawalRequest.REQUEST_TYPE ->
executionRequestsBuilder.withdrawals(
executionRequestsSchema
.getWithdrawalRequestsSchema()
.sszDeserialize(data.slice(1))
.asList());
case ConsolidationRequest.REQUEST_TYPE ->
executionRequestsBuilder.consolidations(
executionRequestsSchema
.getConsolidationRequestsSchema()
.sszDeserialize(data.slice(1))
.asList());
default ->
throw new IllegalArgumentException("Invalid execution request type: " + type);
}
});

return executionRequestsBuilder.build();
}

@VisibleForTesting
List<Bytes> encode(final ExecutionRequests executionRequests) {
final SszList<DepositRequest> depositRequestsSszList =
executionRequestsSchema
.getDepositRequestsSchema()
.createFromElements(executionRequests.getDeposits());
final SszList<WithdrawalRequest> withdrawalRequestsSszList =
executionRequestsSchema
.getWithdrawalRequestsSchema()
.createFromElements(executionRequests.getWithdrawals());
final SszList<ConsolidationRequest> consolidationRequestsSszList =
executionRequestsSchema
.getConsolidationRequestsSchema()
.createFromElements(executionRequests.getConsolidations());

return List.of(
Bytes.concatenate(
Bytes.of(DepositRequest.REQUEST_TYPE), depositRequestsSszList.sszSerialize()),
Bytes.concatenate(
Bytes.of(WithdrawalRequest.REQUEST_TYPE), withdrawalRequestsSszList.sszSerialize()),
Bytes.concatenate(
Bytes.of(ConsolidationRequest.REQUEST_TYPE),
consolidationRequestsSszList.sszSerialize()));
}

public Bytes32 hash(final ExecutionRequests executionRequests) {
final Bytes sortedEncodedRequests =
encode(executionRequests).stream()
// Encoded requests are sorted by their type (first byte)
.sorted(Comparator.comparingInt(b -> b.get(0)))
gfukushima marked this conversation as resolved.
Show resolved Hide resolved
.reduce(Bytes.EMPTY, Bytes::concatenate);
return Hash.sha256(sortedEncodedRequests);
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -22,9 +22,12 @@
import tech.pegasys.teku.infrastructure.unsigned.UInt64;
import tech.pegasys.teku.spec.datastructures.type.SszPublicKey;

// https://eips.ethereum.org/EIPS/eip-7002
public class WithdrawalRequest
extends Container3<WithdrawalRequest, SszByteVector, SszPublicKey, SszUInt64> {

public static final byte REQUEST_TYPE = 0x1;

public static final WithdrawalRequestSchema SSZ_SCHEMA = new WithdrawalRequestSchema();

protected WithdrawalRequest(
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,195 @@
/*
* Copyright Consensys Software Inc., 2024
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
* an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the
* specific language governing permissions and limitations under the License.
*/

package tech.pegasys.teku.spec.datastructures.execution.versions.electra;

import static org.assertj.core.api.Assertions.assertThat;
import static org.assertj.core.api.Assertions.assertThatThrownBy;
import static org.junit.jupiter.api.Assertions.assertEquals;

import java.util.List;
import org.apache.tuweni.bytes.Bytes;
import org.apache.tuweni.bytes.Bytes32;
import org.junit.jupiter.api.Test;
import tech.pegasys.teku.bls.BLSPublicKey;
import tech.pegasys.teku.bls.BLSSignature;
import tech.pegasys.teku.infrastructure.bytes.Bytes20;
import tech.pegasys.teku.infrastructure.unsigned.UInt64;
import tech.pegasys.teku.spec.Spec;
import tech.pegasys.teku.spec.SpecMilestone;
import tech.pegasys.teku.spec.TestSpecFactory;
import tech.pegasys.teku.spec.config.SpecConfigElectra;
import tech.pegasys.teku.spec.util.DataStructureUtil;

class ExecutionRequestsDataCodecTest {

private final Spec spec = TestSpecFactory.createMinimalElectra();
private final SpecConfigElectra specConfigElectra =
SpecConfigElectra.required(spec.forMilestone(SpecMilestone.ELECTRA).getConfig());
private final DataStructureUtil dataStructureUtil = new DataStructureUtil(spec);
private final ExecutionRequestsSchema executionRequestsSchema =
new ExecutionRequestsSchema(specConfigElectra);
private final ExecutionRequestsDataCodec codec =
new ExecutionRequestsDataCodec(executionRequestsSchema);

@Test
public void encodeDecodeRoundTrip() {
final ExecutionRequests executionRequests = dataStructureUtil.randomExecutionRequests();

final List<Bytes> encodedExecutionRequests = codec.encode(executionRequests);
final ExecutionRequests decodedExecutionRequests = codec.decode(encodedExecutionRequests);

assertEquals(executionRequests, decodedExecutionRequests);
}

@Test
public void decodeExecutionRequestData() {
final List<Bytes> executionRequestsData =
List.of(
depositRequestListEncoded,
withdrawalRequestsListEncoded,
consolidationRequestsListEncoded);

final ExecutionRequests executionRequests = codec.decode(executionRequestsData);

assertThat(executionRequests.getDeposits()).containsExactly(depositRequest1, depositRequest2);
assertThat(executionRequests.getWithdrawals())
.containsExactly(withdrawalRequest1, withdrawalRequest2);
assertThat(executionRequests.getConsolidations()).containsExactly(consolidationRequest1);
}

@Test
public void decodeInvalidRequestTypeShouldThrowIllegalArgumentException() {
final Bytes invalidRequestType = Bytes.of(0xf);
// Replace valid 0x0 request type for deposits with invalid 0xf request type
final Bytes depositsWithInvalidRequestType =
Bytes.concatenate(invalidRequestType, depositRequestListEncoded.slice(1));

final List<Bytes> invalidExecutionRequestsData =
List.of(
depositsWithInvalidRequestType,
withdrawalRequestsListEncoded,
consolidationRequestsListEncoded);

assertThatThrownBy(() -> codec.decode(invalidExecutionRequestsData))
.isInstanceOf(IllegalArgumentException.class);
}

@Test
public void encodeExecutionRequests() {
final ExecutionRequests executionRequests =
new ExecutionRequestsBuilderElectra(executionRequestsSchema)
.deposits(List.of(depositRequest1, depositRequest2))
.withdrawals(List.of(withdrawalRequest1, withdrawalRequest2))
.consolidations(List.of(consolidationRequest1))
.build();

final List<Bytes> encodedRequests = codec.encode(executionRequests);

assertThat(encodedRequests)
.containsExactly(
depositRequestListEncoded,
withdrawalRequestsListEncoded,
consolidationRequestsListEncoded);
}

@Test
public void hashExecutionRequests() {
// Previously known hash of the encoded execution requests
final Bytes expectedHash =
Bytes.fromHexString("0x9a1d06e635eb434e1ba98b03606ef0d20e87a78811f3d4abd04175e4f39847e3");
final ExecutionRequests executionRequests =
new ExecutionRequestsBuilderElectra(executionRequestsSchema)
.deposits(List.of(depositRequest1, depositRequest2))
.withdrawals(List.of(withdrawalRequest1, withdrawalRequest2))
.consolidations(List.of(consolidationRequest1))
.build();

// Hash will only match if elements and order are correct
assertThat(codec.hash(executionRequests)).isEqualTo(expectedHash);
}

/*
Examples taken from https://github.com/ethereum/execution-apis/blob/main/src/engine/openrpc/methods/payload.yaml

Note: Removed one of the consolidation elements from the list as in Electra the max length for the list is one.
*/

private final Bytes depositRequestListEncoded =
Bytes.fromHexString(
"0x0096a96086cff07df17668f35f7418ef8798079167e3f4f9b72ecde17b28226137cf454ab1dd20ef5d924786ab3483c2f9003f5102dabe0a27b1746098d1dc17a5d3fbd478759fea9287e4e419b3c3cef20100000000000000b1acdb2c4d3df3f1b8d3bfd33421660df358d84d78d16c4603551935f4b67643373e7eb63dcb16ec359be0ec41fee33b03a16e80745f2374ff1d3c352508ac5d857c6476d3c3bcf7e6ca37427c9209f17be3af5264c0e2132b3dd1156c28b4e9f000000000000000a5c85a60ba2905c215f6a12872e62b1ee037051364244043a5f639aa81b04a204c55e7cc851f29c7c183be253ea1510b001db70c485b6264692f26b8aeaab5b0c384180df8e2184a21a808a3ec8e86ca01000000000000009561731785b48cf1886412234531e4940064584463e96ac63a1a154320227e333fb51addc4a89b7e0d3f862d7c1fd4ea03bd8eb3d8806f1e7daf591cbbbb92b0beb74d13c01617f22c5026b4f9f9f294a8a7c32db895de3b01bee0132c9209e1f100000000000000");

private final DepositRequest depositRequest1 =
new DepositRequest(
(DepositRequestSchema)
executionRequestsSchema.getDepositRequestsSchema().getElementSchema(),
BLSPublicKey.fromHexString(
"0x96a96086cff07df17668f35f7418ef8798079167e3f4f9b72ecde17b28226137cf454ab1dd20ef5d924786ab3483c2f9"),
Bytes32.fromHexString(
"0x003f5102dabe0a27b1746098d1dc17a5d3fbd478759fea9287e4e419b3c3cef2"),
UInt64.valueOf(1L),
BLSSignature.fromBytesCompressed(
Bytes.fromHexString(
"0xb1acdb2c4d3df3f1b8d3bfd33421660df358d84d78d16c4603551935f4b67643373e7eb63dcb16ec359be0ec41fee33b03a16e80745f2374ff1d3c352508ac5d857c6476d3c3bcf7e6ca37427c9209f17be3af5264c0e2132b3dd1156c28b4e9")),
UInt64.valueOf(240L));

private final DepositRequest depositRequest2 =
new DepositRequest(
(DepositRequestSchema)
executionRequestsSchema.getDepositRequestsSchema().getElementSchema(),
BLSPublicKey.fromHexString(
"0xa5c85a60ba2905c215f6a12872e62b1ee037051364244043a5f639aa81b04a204c55e7cc851f29c7c183be253ea1510b"),
Bytes32.fromHexString(
"0x001db70c485b6264692f26b8aeaab5b0c384180df8e2184a21a808a3ec8e86ca"),
UInt64.valueOf(1L),
BLSSignature.fromBytesCompressed(
Bytes.fromHexString(
"0x9561731785b48cf1886412234531e4940064584463e96ac63a1a154320227e333fb51addc4a89b7e0d3f862d7c1fd4ea03bd8eb3d8806f1e7daf591cbbbb92b0beb74d13c01617f22c5026b4f9f9f294a8a7c32db895de3b01bee0132c9209e1")),
UInt64.valueOf(241L));

private final Bytes withdrawalRequestsListEncoded =
Bytes.fromHexString(
"0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b85103a5617937691dfeeb89b86a80d5dc9e3c9d3a1a0e7ce311e26e0bb732eabaa47ffa288f0d54de28209a62a7d29d0000000000000000000000000000000000000000000000000000010f698daeed734da114470da559bd4b4c7259e1f7952555241dcbc90cf194a2ef676fc6005f3672fada2a3645edb297a75530100000000000000");

private final WithdrawalRequest withdrawalRequest1 =
new WithdrawalRequest(
(WithdrawalRequestSchema)
executionRequestsSchema.getWithdrawalRequestsSchema().getElementSchema(),
Bytes20.fromHexString("0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"),
BLSPublicKey.fromHexString(
"0x85103a5617937691dfeeb89b86a80d5dc9e3c9d3a1a0e7ce311e26e0bb732eabaa47ffa288f0d54de28209a62a7d29d0"),
UInt64.valueOf(0L));

private final WithdrawalRequest withdrawalRequest2 =
new WithdrawalRequest(
(WithdrawalRequestSchema)
executionRequestsSchema.getWithdrawalRequestsSchema().getElementSchema(),
Bytes20.fromHexString("0x00000000000000000000000000000000000010f6"),
BLSPublicKey.fromHexString(
"0x98daeed734da114470da559bd4b4c7259e1f7952555241dcbc90cf194a2ef676fc6005f3672fada2a3645edb297a7553"),
UInt64.valueOf(1L));

private final Bytes consolidationRequestsListEncoded =
Bytes.fromHexString(
"0x02a94f5374fce5edbc8e2a8697c15331677e6ebf0b85103a5617937691dfeeb89b86a80d5dc9e3c9d3a1a0e7ce311e26e0bb732eabaa47ffa288f0d54de28209a62a7d29d098daeed734da114470da559bd4b4c7259e1f7952555241dcbc90cf194a2ef676fc6005f3672fada2a3645edb297a7553");

private final ConsolidationRequest consolidationRequest1 =
new ConsolidationRequest(
(ConsolidationRequestSchema)
executionRequestsSchema.getConsolidationRequestsSchema().getElementSchema(),
Bytes20.fromHexString("0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"),
BLSPublicKey.fromHexString(
"0x85103a5617937691dfeeb89b86a80d5dc9e3c9d3a1a0e7ce311e26e0bb732eabaa47ffa288f0d54de28209a62a7d29d0"),
BLSPublicKey.fromHexString(
"0x98daeed734da114470da559bd4b4c7259e1f7952555241dcbc90cf194a2ef676fc6005f3672fada2a3645edb297a7553"));
}