Skip to content

Add LateIbInclusion to Haskell simulator #410

Closed
@nfrisby

Description

@nfrisby

In the past month or so, Giorgos and Simon added a feature to the Short-to-Full extensions and the Rust simulator in which an EB also includes IBs from some recent iterations in addition to IBs from the current iteration.

For reference, the feature is controlled by this config file option in the Rust simulator:

/**
* Extends Leios so that EB producers include IBs directly from previous pipelines
* where no certified EB was observed.
*
* Only supported by Rust simulation. */
"leios-late-ib-inclusion": boolean;

The Short-to-Full extension specification Google Doc says to include IBs from the "last 3 iterations", but my interpretation (especially due to the relevant figure in that Doc) is that one of those three is the current iteration. (So this feature results in EBs including 3x as many IB IDs rather than 4x as many.)

This needs to be added to the Haskell simulator.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions