Skip to main content

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued implementing the certification of Cardano transactions in Mithril networks. They improved the throughput of the prover route of the aggregator by using resource pooling and made progress on low-latency certification by transitioning to a chain point-based beacon, which allows for faster transaction signing. They also kept investigating prover performance bottlenecks, worked on fixing a bug that caused unsigned transactions to appear as signed, and continued implementing the import of transactions with the ChainSync mini-protocol and Pallas.

Additionally, the team started preparing the threat modeling explainer for the documentation website and kept investigating some Cardano node error messages that could be caused by how the Pallas client handles connections to mini-protocols.

Low level overview​

  • Completed the issue Implement Resource Pooling for Block Range Merkle maps #1698
  • Completed the issue Sign Cardano transactions with ChainPoint based beacon #1697
  • Completed the issue Cardano transactions prover performances drop with more than 5 transactions #1722
  • Worked on the issue Import Cardano transactions with ChainReader #1705
  • Worked on the issue Client verification fails with an already stored but non certified yet transaction #1719
  • Worked on the issue Computation of Merkle proof has bottleneck with multiple transactions #1730
  • Worked on the issue Threat modeling and risk analysis #1350
  • Worked on the issue Release 2423 distribution #1695
  • Worked on the issue Mithril Signer Local Error Policy : Error 182 - MuxError #1632

· 2 min read
Carlos LopezDeLara

2024-05-13 - 2024-06-05

High level summary​

CARDANO NODE

  • In order to avoid an accidental hardfork, when "ConwayGenesisFile" is not set in the node configuration file, by default the node can only understand protocol version 8 (Babbage era).

CARDANO CLI

  • query protocol-parameters now shows Conway era protocol parameters when in Conway.
  • transaction view now shows proposales and votes inside a transaction body.
  • Release of cardano-cli 8.23.1.0
  • We now publish pre-compiled binaries of each release together with the corresponding SHA256Sum.

CARDANO-API

  • Release of 8.46.0.0

Details​

cardano-cli​

cardano-api​

  • Release cardano-api-8.46.0.0
    • Updated cardano-ledger, ouroboros-consensus and plutus packages.
    • Added FailT dependency.
    • Updated conwayGenesisDefaults and alonzoGenesisDefaults.
    • Changed CostModel to use Int64 instead of Integer.
    • Fixed ProtocolParameters golden test to account for the Integer -> Int64 change in the CostModel. (breaking, test) PR 523

cardano-node​

cardano-testnet​

· One min read
Damian Nadales

High level summary​

  • Updated UTXO-HD to use simple diffs which drastically improved the mempool benchmarks (#1114).
  • Helped quickcheck-state-machine to release version 0.10.0 (#48). We rely on this library for our high-assurance property-tests.
  • Rebased UTXO-HD on top of node 8.11 (#1121). A replay with the in-memory backend took 5:05 hours up to slot 124M.

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team released a new Mithril protocol insights dashboard and a new explorer page displaying active and deregistered SPOs for the latest Cardano epochs. They also continued implementing the certification of Cardano transactions in Mithril networks by improving the throughput of the prover route of the aggregator and making progress on low-latency certification by completing the implementation of a chain block reader from the Cardano mini-protocol with Pallas.

Additionally, the team started working on a new beacon for signing Cardano transactions based on the chain point. Finally, they refactored the persistence library, enhanced their testing tools for Cardano transactions, and fixed a block parsing problem that prevented the signature of Cardano transactions in the test networks.

Low level overview​

  • Released the Mithril Protocol Insights Dashboard
  • Completed the issue Prototype optimizations for increasing Cardano transactions proof generation throughput #1687
  • Completed the issue Retrieve Cardano blocks with chainsync in pallas PoC #1590
  • Completed the issue Explorer display in/out SPOs in registered signers page #1686
  • Completed the issue Create a test Cardano transactions builder #1667
  • Completed the issue Cardano signatures are not produced on testing-sanchonet and testing-mainnet #1681
  • Completed the issue Remove snapshot command in client CLI #1690
  • Completed the issue Block Streamer returns ChainScannedBlocks #1704
  • Completed the issue Remove connections coupling with providers in database #1711
  • Worked on the issue Implement Resource Pooling for Block Range Merkle maps #1698
  • Worked on the issue Sign Cardano transactions with ChainPoint based beacon #1697
  • Worked on the issue Import Cardano transactions with ChainReader #1705
  • Worked on the issue Mithril Signer Local Error Policy : Error 182 - MuxError #1632

· One min read
Daniel Firth

High-level Summary​

This sprint, the Hydra team released version 0.17.0 of the hydra-node, containing the new blueprint commit transaction mechanism and upgrades to the networking protocol incorporated over the last several weeks. We also completed several documentation upgrades.

Next sprint, we aim to focus the outstanding increment decommit work, completing the model tests for it as well as investigating adversarial attacks on the smart contract.

What did the team achieve this sprint?​

  • Combine blueprint and commit tx metadata #1409
  • Diagnose currently stuck head. #1415
  • Document offline mode #1414
  • Document writing an Event Sink and Source #1413
  • Streaming Plugins #1325
  • Ensure -Werror is running in CI. #1426
  • Release hydra-node-0.17.0

What are the goal of the next sprint?​

  • Update to cardano-node 8.11-pre #1439
  • Incremental decommit #1057
  • Make progress on the design for incremental commit #199
  • Reopen a head to test blueprint commits.
  • Test combinations of decrement/close/fanout #1390