Date: 04 Apr 2022 Author: YunYan Abstract There are several exposures and opportunaties for both of Tezos and Marigold. Lots of them were happened so fast and some scope seems big so I need some discussion and help. This recap splited into two parts: contacted: who contacted to me and they want to interact with Tezos and Marigold outreaching: organizing a Tezos contract workshop with local community

→ account → contract account Transfer_ticket Transaction contract CONTRACT %receive_ticket (ticket cty);TRANSFER_TOKEN; CONTRACT ...; TRANSFER_TOKEN;

RnR translator supportive lecturer Scope (1) Ligo doc: En -> ZH-TW tutorial: (slide-ish stuff)

:::success 本篇文章由 Marigold.dev 提供技術支援。更多關於 Marigold 以及 Tezoz 的消息在 Twitter 和 Reddit 上都可以找到! ::: 這次換不同的編排呈現方式，希望可以減少閱讀障礙。另外也新增一個新的段落來分享一下可以期待的更新內容。 [toc] + 主要更新

The foundamental idea is to use NFT as a certification of participating Marigold's events. In general, a certification can be either a generative art; or, a pre-gened picture It could contain, at least, Marigold's Logo

:::success 本篇文章由 Marigold.dev 提供技術支援。更多關於 Marigold 以及 Tezoz 的消息在 Twitter 和 Reddit 上都可以找到! ::: + 主要重點：Transaction Optimistic Rollups (TORU) ORU 是一種 layer-2 解決方案。其設計概念是藉由「將大量複雜的計算外包給第三方」，來增加整體交易與運算的吞吐量。ORU 在理想上可以將任何區塊鍊上面可進行的運算都打包處理。但是對於一個去中心化的系統來說，如何確保計算結果之正確性以及系統安全性就是個很大的挑戰。另一方面，相較於執行合約這種複雜的運算，單純的 「token 交易」則是一種計算量少，卻非常常見的需求。 因此，Tezos 這次推出僅針對交易的 Transaction Optimistic Rollups (TORU)。

不需要執行硬分叉作業。 「硬分叉」不算是可以被執行的行為或是程序，它其實是系統穩定性不足造成的副產品。他是在說：在 t = 1 時整個網路承認 block B_0 是大家的共識結果，但是在 t = 2 時，因為某些原因，網路上的節點分成兩批。一部分覺得接下來的 block 是 B_a 另一部份的覺得是 B_b。而基於這兩個 block 的差異，這兩批電腦對於帳本的理解就會開始不同。相當於從一個網路硬生生變成兩個。 而上述的「某些原因」大多是節點們使用的軟體不一樣。這常見於網路系統的版本更新時：一些節點已經更新到新版了，一些節點還沒有。所以與其說是「不需要」，還不如說因為有 onchain self-amendment 所以「直接避免」這樣的情況。 後來隨著系統的升級與改善，開發人員也可以開始透過其他像是 SmartPy、LIGO、Fi 等多種不同語言在 Tezos 鏈上做開發。 難得還有人可以知道 Fi 的存在。🤣

:::success 本篇文章由 Marigold.dev 提供技術支援。更多關於 Marigold 以及 Tezoz 的消息在 Twitter 和 Reddit 上都可以找到! ::: + 主要重點：Tenderbake 從使用者觀點，Tenderbake 的關鍵是實現了 Tezos 上的決定式最終確認性 (deterministic finality)。換句話說，一個區塊 (block) 只要其上面(後面)再有接上兩個區塊的話，該區塊就被視為已經達到最終確認狀態 -- 也就是被網路承認並接納，且不可再被更改。 讓我們更白話一點：藉由 Tenderbake ，Tezos 的「區塊最終確認性」由原本的「機率式 (probabilistic)」改為「決定式 (deterministic)」。兩者之間的差異在於：前者更傾向於「不管各種情況，網路就是要順利產生新的區塊。如果未來發現有衝突，那就未來網路都同步以後再解決」因此也被視為是一種「生存優先」的共識演算法類型；相比之下，後者比較傾向於「一旦區塊被產生並且被確認，那他就是絕對合法的。如果無法產生或是確認，那就暫停產生區塊直到狀況恢復」所以被當作是一種「安全優先」的共識演算法類型。

2021/11/19 interaction data process can do typed channel and process verification (via SMT?)c