This week we continued working on several fronts:
-
We reviewed the PerasVotingAnalysis v1.1 report made by ARC researchers and produced with a list of questions that should allow us to finalize the delivery plan around crypto for mainnet Peras in the coming weeks.
-
ObjectDiffusion now has support for graceful termination on the client side, and caught-up detection (being used as part of the GSM caught-up criterion). This is thanks to ouroboros-network#5431 and ouroboros-consensus#2286. These PRs integrate a full testsuite as well. Internal review of the two PRs is in progress.
-
An initial implementation of the
ImmutablePerasCertDBis available in ouroboros-consensus#2293. Internal review is in progress as well. -
The network design squad was able to write a lemma proving that certificates which are relevant for chain selection should arrive in ascending
PerasRoundNoorder to a node connected to at least one honest peer (provided usual chain quality and network assumptions). This should simplify the remaining adaptations needed on ObjectDiffusion to serve historical certs (in addition to existing volatile ones). Work in progress here, stay tuned! -
Ledger integration team continued their effort to bring the last Peras pieces needed before the code freeze for the incoming hard fork. This includes finalizing the list of Peras governable protocol parameters for the constitution update, with an implementation prototype in cardano-ledger#6067.
-
On the consensus side, we also:
- Addressed feedback and merged Peras 67 and Peras 68
- Opened the following PRs fixing some issues blocking nightly and testnet runs:
- Opened a PR for selecting fewer transactions when forging a block that contains a Peras certificate
- Finalized the initial implementation of the certificate size estimation, needed to avoid forging certificates that could potentially not fit inside a block body.
-
The testnet team has focused on quality-of-life improvements, including a better initialization script and centralized logs and metrics. In addition, they started updating the testnet base branch to the latest revision of the Peras codebase.