Skip to content

Weekly development report as of 2023-11-24

Weekly development report as of 2023-11-24

This week, the core technology teams published the initial security analysis and responses for CIP-1694. The analysis covers various aspects, such as the constitutional committee, committee size, terms, registered DReps, ratification, content, protocol parameter groups, votes, separation of hard fork initiation from standard protocol parameter changes, and post-Edinburgh workshop updates. It also includes discussions on reducing deposits for specific governance actions.

Over the past weeks, the networking team has continued reviewing bootstrap peers' implementation, prepared presentation slides for a Haskell meetup where they discussed IOSimPOR, and worked on refactoring the IOSim code base. They also released io-sim- on Hackage and addressed technical debt by refactoring the resource used by the DNS subsystem and reviewing RootPeersDNS module refactoring.

The ledger team focused on testing, bug fixes, and improving the clarity of the CDDL specification. The team fixed the deserialization of ValueNotConservedUTxO predicate failure, ensuring accurate reporting of zero ada, and addressed the deserialization of CostModels in the PParamsUpdate, allowing only valid CostModels for unrecognized Plutus versions starting with Conway.

Finally, they fixed the return of deposits for ProposalProcedures, improved testing tooling, and implemented new tests for the Conway era. 

As always, see this technical development report for more details from different teams.


This week, the Lace team focused on a quick update to version 1.7.1. This release addresses several issues, including those associated with the DApp connection to the Lace wallet. Additionally, the team implemented enhancements to optimize the interaction between Lace and ada handles by resolving challenges arising from slow network disruptions affecting the send flow, and fixing some issues with transaction bundles specific to wallets with ada handles. 


The Plutus tools team continued working on the Marconi API queries, Marconi cardano-node-emulator, and documentation improvements. The Plutus Core team fixed a bug in Plutus Tx that caused the compilation to fail with a ‘Cannot case on a value’ error when using BLS primitives.

This week, the Marlowe team updated the marlowe-plutus repository, upgraded plutus dependencies for `marlowe-plutus, and upgraded the Marlowe repository to IOGX and GHC v.9.2.8. They also added computeTransaction to the TS-SDK to allow contract unit testing, changed the initial time for counterexamples to be shown in a readable way in Marlowe Playground, and improved the form structure in the ‘Apply inputs’ flow in Marlowe Runner. 

Finally, they ensured that accounts are positive in Agda semantics.


This week, the Hydra team addressed misleading errors regarding ‘collect com’ transactions, resolved a security advisory issue, and simplified the Hydra Head protocol by using inline datums. The team also tackled minor inconsistencies in specifications and implementation, documented reasons for potentially dropped close transactions by the Cardano node, and collaborated with SundaeLabs on an offline mode for the Hydra node. Additionally, they engaged in discussions with researchers about incremental de-/commits.

This week, the Mithril team made progress in decentralizing the Mithril networks with the peer-to-peer (P2P) networking proof of concept, completing the first prototype implementation of the Mithril relay, which enables P2P signature broadcasting. They also made progress in optimizing the performance of the aggregator. Additionally, the team completed some enhancements on the CI/CD that will help manually deploy experimental Mithril networks for SanchoNet, as well as for the new P2P network layer.

Finally, they investigated occasional runtime issues causing delays for certain SPOs and started preparing for the next distribution release.


This week, the Voltaire team continued preparing for the special Cardano Ballot vote to assess progress in on-chain and off-chain governance with CIP-1694. The snapshot for participating wallets was taken on November 21, and the vote runs from December 1 to December 11. Ada holders are encouraged to use this opportunity to express their stance on CIP-1694 governance progress.


This week, Project Catalyst continued its regular broadcast with a weekly town hall on Wednesdays at 5 PM UTC. You can rewatch this week’s segment here or register for the next one via this page

In other news, the milestone module integration with the Project Catalyst website is now complete. Additionally, a full data refresh has been executed, encompassing the Fund10 cohort data. This enables users to efficiently track the progress of each funded project within the milestone program. Simply search your preferred Fund10 project and navigate to the overview page to find the progress bar and link to actual milestones. This marks another significant achievement in enhancing overall accountability for fundees. 

Finally, registration for the community review stage has opened this week. If you’d like to help evaluate projects before they proceed to the voting phase, visit and register via the pop-up form right after logging in. 


This week, the Education team continued the delivery of the internal Maths Academy course. They also worked on Marlowe education tasks.










Plutusツールチームは、Marconi APIクエリ、Marconi cardano-node-emulator、ドキュメントの改訂への取り組みを続けました。Plutus Coreチームは、BLSプリミティブを使用するときにコンパイルが「cannot case on a value」エラーで失敗する原因となったPlutus Txのバグを修正しました。

Marloweチームは Marlowe-plutusリポジトリを更新し、marlowe-plutusの依存関係をmarlowe-plutusにアップグレードし、MarloweリポジトリをIOGXとGHC v.9.2.8にアップグレードしました。TS-SDKにcomputeTransactionを追加してコントラクトユニットテストを可能にし、 Marlowe Playgroundで読みやすく表示するように反例の初期時間を変更し、 Marlowe Runnerの「入力の適用」フローのフォーム構造を改善しました。 



Hydraチームは、collect comトランザクションに関する誤解を招くエラーに対処し、セキュリティアドバイザリーの問題を解決し、インラインデータムを使用してHydra Headプロトコルを簡素化しました。仕様と実装のわずかな不整合にも取り組み、Cardanoノードによるクローズトランザクションがドロップされる可能性がある理由を文書化し、HydraノードのオフラインモードでSundaeLabsと協力しました。研究者との間で、漸次的コミット解除/コミットについての議論も行いました。

Mithrilチームは、P2Pネットワークの概念実証を用いてMithril ネットワークの分散化を進め、Mithrilリレーの最初のプロトタイプ実装を完了しました。これは、P2P署名のブロードキャストを可能にします。アグリゲーターのパフォーマンスの最適化も進めました。CI/CDの機能強化を完了しました。これは、SanchoNetの実験的なMithrilネットワークと新しいP2Pネットワーク層の手動デプロイに役立ちます。



Voltaireチームは、CIP-1694によるオンチェーンおよびオフチェーンガバナンスの進捗を評価するために、Cardano Ballotを使った投票の準備を続けました。参加ウォレットのスナップショットは11月21日に撮影されました。投票期間は12月1日から12月11日までです。ADA保有者は、この機会にCIP-1694ガバナンスの進展についての姿勢を表明することが奨励されます。


Project Catalystは、毎週水曜日午後5時(UTC)からの定期的なタウンホール配信を続けました。今週のセグメントはこちらで再視聴できます。また、次回タウンホールにはこのページから登録してください。 

Project Catalystウェブサイトとマイルストンモジュールの統合が完了しました。Fund10コホートデータを含む完全なデータ更新が実行されました。これにより、ユーザーはマイルストンプログラム内で資金提供された各プロジェクトの進捗状況を効率的に追跡できます。見たいFund10プロジェクトを検索し、概要ページに移動すると、進捗バーと実際のマイルストンへのリンクが見つかります。これは、資金提供を受けた人々の全体的な説明責任の強化という点で重要な成果となります。 



教育チームは、引き続き社内向けのMaths Academyコースを実施しました。Marlowe教育に関するタスクにも取り組みました。


Esta semana, los equipos de tecnología de núcleo publicaron el análisis inicial de seguridad y respuestas para el CIP-1694. En él se tratan diversos aspectos, como el comité constitucional, el tamaño del comité, los plazos, los DReps registrados, la ratificación, el contenido, los grupos de parámetros de protocolo, las votaciones, la separación entre el inicio de un hard fork y los cambios en los parámetros de protocolo estándar, y las actualizaciones posteriores al taller de Edimburgo. Incluye también debates sobre la reducción de depósitos para acciones de gobierno específicas.

A lo largo de las últimas semanas, el equipo de networking ha seguido revisando la implementación de los compañeros de bootstrap, ha preparado diapositivas de presentación para un encuentro de Haskell en el que debatieron sobre IOSimPOR, y ha trabajado en la refactorización de la base de código de IOSim. También publicaron io-sim- en Hackage y abordaron la deuda técnica mediante la refactorización del recurso utilizado por el subsistema DNS y la revisión de la refactorización del módulo RootPeersDNS.

El equipo del ledger se centró en las pruebas, la corrección de errores y la mejora de la claridad de la especificación CDDL. Arreglaron el fallo de deserialización del predicado ValueNotConservedUTxO, asegurando la notificación precisa de ada cero, y abordaron la deserialización de CostModels en el PParamsUpdate, permitiendo solo CostModels válidos para versiones de Plutus no reconocidas a partir de Conway.

Además, han corregido la devolución de depósitos para ProposalProcedures, han mejorado las herramientas de prueba y han implementado nuevas pruebas para la era Conway.

Como siempre, consulte este informe de desarrollo técnico para obtener más detalles de los distintos equipos.


El equipo de Lace se ha centrado esta semana en una rápida actualización a la versión 1.7.1. Esta versión soluciona varios problemas, incluidos los relacionados con la conexión de la DApp al wallet de Encaje. Además, el equipo implementó mejoras para optimizar la interacción entre Lace y los handles ada, resolviendo los problemas derivados de las interrupciones lentas de la red que afectan al flujo de envíos, y solucionando algunos problemas con los paquetes de transacciones específicos de los wallets con handles ada.


El equipo de herramientas de Plutus continuó trabajando en las consultas a la API de Marconi, el emulador de nodos cardánicos de Marconi y las mejoras en la documentación. El equipo de Plutus Core corrigió un error en Plutus Tx que provocaba que la compilación fallara con un error ‘Cannot case on a value’ cuando se utilizaban primitivas BLS.

Esta semana, el equipo Marlowe actualizó el repositorio marlowe-plutus, actualizó las dependencias de plutus para marlowe-plutus, y [actualizó]( el repositorio Marlowe a IOGX y GHC v.9.2.8. También [añadieron]( computeTransactional TS-SDK para permitir las pruebas unitarias de contratos, [cambiaron el tiempo inicial]( para que los contraejemplos se muestren de forma legible en Marlowe Playground, y mejoraron la estructura del formulario en el flujoAplicar entradas` en Marlowe Runner.

Además, se aseguraron de que los contadores son positivos en Agda semantics.


El equipo Hydra abordó esta semana los errores engañosos relativos a las transacciones ‘collect com’, resolvió un problema de aviso de seguridad y simplificó el protocolo Hydra Head utilizando datos en línea. El equipo también abordó incoherencias menores en las especificaciones y la implementación, documentó las razones de las transacciones cerradas potencialmente descartadas por el nodo Cardano, y colaboró con SundaeLabs en un modo fuera de línea para el nodo Hydra. Además, entablaron debates con los investigadores sobre las des/compromisos incrementales.

El equipo Mithril avanzó esta semana en la descentralización de las redes Mithril con la prueba de concepto de red entre pares (P2P), completando el primer prototipo de implementación del relé Mithril, que permite la difusión de firmas P2P. También avanzaron en la optimización del rendimiento del agregador. Además, el equipo completó algunas mejoras en el CI/CD que ayudarán a desplegar manualmente redes Mithril experimentales para SanchoNet, así como para la nueva capa de red P2P.

Asimismo, investigaron problemas ocasionales de tiempo de ejecución que causaban retrasos en ciertos SPO y comenzaron a preparar la próxima versión de la distribución.


El equipo de Voltaire continuó esta semana la preparación de la votación especial de Cardano para evaluar los avances en la gobernanza dentro y fuera de la cadena con CIP-1694. La instantánea para los wallets participantes se tomó el 21 de noviembre, y la votación tendrá lugar del 1 al 11 de diciembre. Se anima a los titulares de Ada a que aprovechen esta oportunidad para expresar su postura sobre el progreso de la gobernanza del CIP-1694.


El equipo del Proyecto Catalyst ha continuado esta semana su emisión regular con un ayuntamiento semanal los miércoles a las 17.00 UTC. Puede volver a ver el segmento de esta semana aquí o inscribirse para el próximo a través de esta página.

En otras noticias, ya se ha completado la integración del módulo de hitos con la página web del Proyecto Catalyst. Además, se ha ejecutado una actualización completa de los datos, que abarca los datos de la cohorte del Fondo 10. Esto permite a los usuarios realizar un seguimiento eficaz del progreso de cada proyecto financiado dentro de el programa de hitos. Basta con buscar su proyecto del Fondo 10 preferido y navegar hasta la página de resumen para encontrar la barra de progreso y el enlace a hitos reales. Esto supone otro logro significativo en la mejora de la responsabilidad general de los beneficiarios de los fondos.

Y por último, esta semana se ha abierto el plazo de inscripción para la fase de revisión comunitaria. Si desea ayudar a evaluar los proyectos antes de que pasen a la fase de votación, visite y regístrese a través del formulario emergente justo después de iniciar sesión.


Esta semana, el equipo de Educación continuó impartiendo el curso interno de la Academia de Matemáticas. También trabajaron en las tareas educativas de Marlowe.