Skip to content

Prover tests for empty blocks #2443

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.

Sign up for GitHub

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

Open
wants to merge 14 commits into
base: arith-dev
Choose a base branch
from
Open

Prover tests for empty blocks #2443

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
27cc208
feat: new tests state manager integration
OlivierBBB Oct 22, 2025
e27aead
feat: allow MultiBlock tests to run with Besu node
OlivierBBB Oct 22, 2025
b395a15
feat: allow for empty blocks in BesuNodeTests
OlivierBBB Oct 22, 2025
710dd8a
Merge branch 'arith-dev' into prover-tests-for-empty-blocks
OlivierBBB Oct 23, 2025
70bc268
spotless
OlivierBBB Oct 23, 2025
ec21464
ras: BlockchainReferenceTools defaults to PRAGUE
OlivierBBB Nov 6, 2025
1b5888c
Merge branch 'arith-dev' into prover-tests-for-empty-blocks
OlivierBBB Nov 6, 2025
c8d0273
feat: constraints commit update
OlivierBBB Nov 6, 2025
8183a55
Merge branch 'arith-dev' into prover-tests-for-empty-blocks
OlivierBBB Nov 10, 2025
c2c8247
feat: add runWithBesu field to MultiBlockExecutionEnvironement
OlivierBBB Nov 10, 2025
d158f5a
spotless
OlivierBBB Nov 10, 2025
68a7a6f
feat: configurable fork
OlivierBBB Nov 10, 2025
2bd30b2
spotless ... again
OlivierBBB Nov 10, 2025
b477825
Merge branch 'arith-dev' into prover-tests-for-empty-blocks
OlivierBBB Nov 12, 2025
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
2 changes: 1 addition & 1 deletion ...src/main/java/net/consensys/linea/zktracer/module/txndata/osaka/OsakaUserTransaction.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@

package net.consensys.linea.zktracer.module.txndata.osaka;

import static net.consensys.linea.zktracer.Trace.EIP_7825_TRANSACTION_GAS_LIMIT_CAP;
import static net.consensys.linea.zktracer.TraceOsaka.EIP_7825_TRANSACTION_GAS_LIMIT_CAP;

import net.consensys.linea.zktracer.module.txndata.cancun.CancunTxnData;
import net.consensys.linea.zktracer.module.txndata.cancun.rows.computationRows.WcpRow;
Expand Down
359 changes: 239 additions & 120 deletions arithmetization/src/test/java/net/consensys/linea/zktracer/EmptyBlockTests.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,121 +43,129 @@

public class EmptyBlockTests extends TracerTestBase {

enum BlockType {
EMPTY_BLOCK,
MONO_TRANSACTION_BLOCK___STORING,
MONO_TRANSACTION_BLOCK___READING,
}

final KeyPair senderKeyPair = new SECP256K1().generateKeyPair();
final Address senderAddress =
Address.extract(Hash.hash(senderKeyPair.getPublicKey().getEncodedBytes()));

final ToyAccount senderAccount =
ToyAccount.builder().balance(Wei.fromEth(128)).nonce(5).address(senderAddress).build();

final ToyAccount receivingAccount =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.fromHexStringStrict("0x1122334455667788990011223344556677889900"))
.code(
BytecodeCompiler.newProgram(chainConfig)
.push(0) // ret size
.push(0) // ret offset
.push(0) // size
.push(0) // offset

// address:
.op(OpCode.CALLDATASIZE) // size
.push(0) // offset
.push(0) // dest offset
.op(OpCode.CALLDATACOPY)
.push(0) // offset
.op(OpCode.MLOAD)
.push(100000) // gas
.op(OpCode.DELEGATECALL)
.compile())
.build();

final ToyAccount storingNumber =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.wrap(leftPadTo(Bytes.minimalBytes(1111111), 20)))
.code(
BytecodeCompiler.newProgram(chainConfig)
.op(OpCode.NUMBER) // value
.push(Bytes.fromHexString("c7e0")) // key
.op(OpCode.SSTORE)
.compile())
.build();

final ToyAccount logging =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.wrap(leftPadTo(Bytes.minimalBytes(222222), 20)))
.code(
BytecodeCompiler.newProgram(chainConfig)
.push(2)
.op(OpCode.NUMBER)
.op(OpCode.SUB)
.push(Bytes.fromHexString("c7e0")) // key
.op(OpCode.SLOAD)
.op(OpCode.SUB)
// We now have on the stack one arg, (NUMBER -2 ) - SLOAD
.push(18) // counter to go (and there STOP) if condition is true, as we want
// to log if false
.op(OpCode.JUMPI)
// LOG to check the output
.push(0)
.push(0)
.op(OpCode.LOG0)
.op(OpCode.STOP)
.op(OpCode.JUMPDEST)
.op(OpCode.STOP)
.compile())
.build();

final Transaction storing =
ToyTransaction.builder()
.sender(senderAccount)
.to(receivingAccount)
.payload(Bytes32.leftPad(storingNumber.getAddress()))
.keyPair(senderKeyPair)
.value(Wei.of(123))
.build();

final Transaction reading =
ToyTransaction.builder()
.sender(senderAccount)
.to(receivingAccount)
.payload(Bytes32.leftPad(logging.getAddress()))
.keyPair(senderKeyPair)
.value(Wei.of(123))
.nonce(senderAccount.getNonce() + 1)
.build();

/**
* Mix of empty and non empty blocks
*
* <ul>
* <li><b>E</b> stands for <b>E</b>mpty block
* <li><b>N</b> stands for <b>N</b>onempty block
* </ul>
*
* @param testInfo
*/
@Test
void mixOfEmptyAndNonEmptyBlocks(TestInfo testInfo) {
void mixOfEmptyAndNonEmptyBlocks_EENENE(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(chainConfig.fork)) {

final ToyAccount receivingAccount =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.fromHexStringStrict("0x1122334455667788990011223344556677889900"))
.code(
BytecodeCompiler.newProgram(chainConfig)
.push(0) // ret size
.push(0) // ret offset
.push(0) // size
.push(0) // offset

// address:
.op(OpCode.CALLDATASIZE) // size
.push(0) // offset
.push(0) // dest offset
.op(OpCode.CALLDATACOPY)
.push(0) // offset
.op(OpCode.MLOAD)
.push(100000) // gas
.op(OpCode.DELEGATECALL)
.compile())
.build();

final ToyAccount storingNumber =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.wrap(leftPadTo(Bytes.minimalBytes(1111111), 20)))
.code(
BytecodeCompiler.newProgram(chainConfig)
.op(OpCode.NUMBER) // value
.push(Bytes.fromHexString("c7e0")) // key
.op(OpCode.SSTORE)
.compile())
.build();

final ToyAccount logging =
ToyAccount.builder()
.balance(Wei.fromEth(1))
.nonce(116)
.address(Address.wrap(leftPadTo(Bytes.minimalBytes(222222), 20)))
.code(
BytecodeCompiler.newProgram(chainConfig)
.push(2)
.op(OpCode.NUMBER)
.op(OpCode.SUB)
.push(Bytes.fromHexString("c7e0")) // key
.op(OpCode.SLOAD)
.op(OpCode.SUB)
// We now have on the stack one arg, (NUMBER -2 ) - SLOAD
.push(18) // counter to go (and there STOP) if condition is true, as we want
// to log if false
.op(OpCode.JUMPI)
// LOG to check the output
.push(0)
.push(0)
.op(OpCode.LOG0)
.op(OpCode.STOP)
.op(OpCode.JUMPDEST)
.op(OpCode.STOP)
.compile())
.build();

final KeyPair senderKeyPair = new SECP256K1().generateKeyPair();
final Address senderAddress =
Address.extract(Hash.hash(senderKeyPair.getPublicKey().getEncodedBytes()));
final ToyAccount senderAccount =
ToyAccount.builder().balance(Wei.fromEth(128)).nonce(5).address(senderAddress).build();

final Transaction storing =
ToyTransaction.builder()
.sender(senderAccount)
.to(receivingAccount)
.payload(Bytes32.leftPad(storingNumber.getAddress()))
.keyPair(senderKeyPair)
.value(Wei.of(123))
.build();

final Transaction reading =
ToyTransaction.builder()
.sender(senderAccount)
.to(receivingAccount)
.payload(Bytes32.leftPad(logging.getAddress()))
.keyPair(senderKeyPair)
.value(Wei.of(123))
.nonce(senderAccount.getNonce() + 1)
.build();

final MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
MultiBlockExecutionEnvironment.builder(chainConfig, testInfo)
.accounts(List.of(senderAccount, storingNumber, logging, receivingAccount));

// Two blocks are empty
builder.addBlock(List.of());
builder.addBlock(List.of());

// Third block has a single transaction
builder.addBlock(List.of(storing));

// One more empty block
builder.addBlock(List.of());

// Fifth block has a single transaction
builder.addBlock(List.of(reading));

// One more empty block
builder.addBlock(List.of());

final MultiBlockExecutionEnvironment env = builder.build();
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___STORING,
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___READING,
BlockType.EMPTY_BLOCK),
testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();

final State hub = env.getHub().state();
Expand All @@ -180,21 +188,132 @@ void mixOfEmptyAndNonEmptyBlocks(TestInfo testInfo) {
}

@Test
void onlyOneEmptyBlock(TestInfo testInfo) {
void mixOfEmptyAndNonEmptyBlocks_NEEN(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(chainConfig.fork)) {
if (isPostCancun(fork)) {

final MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
MultiBlockExecutionEnvironment.builder(chainConfig, testInfo);
MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.MONO_TRANSACTION_BLOCK___STORING,
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___READING),
testInfo);

// One empty block
builder.addBlock(List.of());
final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
}
}

final MultiBlockExecutionEnvironment env = builder.build();
@Test
void mixOfEmptyAndNonEmptyBlocks_NEEE(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___STORING),
testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
}
}

@Test
void mixOfEmptyAndNonEmptyBlocks_ENNE(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___STORING,
BlockType.MONO_TRANSACTION_BLOCK___READING,
BlockType.EMPTY_BLOCK),
testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
}
}

@Test
void mixOfEmptyAndNonEmptyBlocks_EEEE(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK),
testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
}
}

@Test
void mixOfEmptyAndNonEmptyBlocks_EEEN(TestInfo testInfo) {
// Empty block are allowed only after Cancun
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(
List.of(
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.EMPTY_BLOCK,
BlockType.MONO_TRANSACTION_BLOCK___STORING),
testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
}
}

@Test
void mixOfEmptyAndNonEmptyBlocks_E(TestInfo testInfo) {
// Empty blocks are allowed only after Cancun
if (isPostCancun(fork)) {

MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
builderFromBlockTypeList(List.of(BlockType.EMPTY_BLOCK), testInfo);

final MultiBlockExecutionEnvironment env = builder.runWithBesuNode(true).build();
env.run();
checkArgument(
env.getHub().txStack().transactions().isEmpty(),
"There should be no transaction in the state");
}
}

private MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder
builderFromBlockTypeList(List<BlockType> blockTypes, TestInfo testInfo) {

final MultiBlockExecutionEnvironment.MultiBlockExecutionEnvironmentBuilder builder =
MultiBlockExecutionEnvironment.builder(chainConfig, testInfo)
.accounts(List.of(senderAccount, storingNumber, logging, receivingAccount))
.runWithBesuNode(true);

for (BlockType blockType : blockTypes) {
switch (blockType) {
case EMPTY_BLOCK -> builder.addBlock(List.of());
case MONO_TRANSACTION_BLOCK___STORING -> builder.addBlock(List.of(storing));
case MONO_TRANSACTION_BLOCK___READING -> builder.addBlock(List.of(reading));
}
}

return builder;
}
}
Loading
Loading