Agenda (7/20) Rust intro - Kimi (8/3) Plonk intro by YingTong - Kimihttps://www.youtube.com/watch?v=V1RgGn1GtqM (8/17) halo2 api and a workshop - CC halo2 book 1.1, 1.2 https://zcash.github.io/halo2/concepts/proofs.htmlhttps://github.com/zcash/halo2/blob/main/halo2_proofs/src/plonk/circuit.rs#LL934C6-L934C18 Halo2 intro, https://youtu.be/ihPcnctm4q4?t=780 Halo2 workshophttps://learn.0xparc.org/materials/halo2/learning-group-1/halo2-api https://docs.google.com/presentation/d/1HUJPHXaqbmVsnmI331mJn9nRuZkeHQZkIMpWBOJ1itk/edit#slide=id.p17

Do not create contracts Use fixed sized-type variables use bytes32 instead of string or bytes use uint256 instead of uint32 Minimize the frequency of data storage// Avoid function ttt() { a = 1; b = 2;

# Data availability proof in Eth2 - [vedio](https://www.youtube.com/watch?v=y3iqYqxtmqU) at Crosslink 2019 Taipei by Vitalik - My article: [Data Availability on Ethereum 2.0 Light Node](https://medium.com/swlh/data-availability-on-ethereum-2-0-light-node-en-aec1ce6ac17c) ## Light Clients #### Concepts - [Light Clients and Proof of Stake](https://blog.ethereum.org/2015/01/10/light-clients-proof-stake/) by Vitalik in 2015 - [The Stateless Client Concept](https://ethresear.ch/t/the-stateless-cl

# 如何升級智能合約 要件： - 已部署 Mainnet 的專案 - 為 Open source ，具公共財性質 ## 專案名稱 如何升級智能合約（Zeppelin SDK） ## 為什麼挑選這個專案呢？ - 智能合約部屬後無法做更動，但遇到錯誤或欲增加新功能卻無法升級，只能重新部屬，在智能合約維護上相當麻煩 ## 你覺得分析這個專案可以讓我們學到什麼呢？ - 瞭解可升級的智能合約的原理 - 如何撰寫可升級的智能合約 ## 這個專案預計會分析什麼樣的程式碼呢？ - [proxy contract](https://github.com/OpenZeppelin/openzeppelin-sdk/tree/master/packages/lib/contracts/upgradeability) - [upgradeable contract](https://github.com/OpenZeppelin/openzeppelin-sdk/blob/master/packages/lib/contracts/Initializable.sol) ## 我們能在