COSCUP 開源人年會

感謝大家對於 COSCUP 首次跨研討會合作如此支持，日前「HKOSCon 2019 『COSCUP 特別軌』」收到了不少稿件，經過與 HKOSCon 團隊討論後，我們選出了數個題目出征，所有講題都會以英文發表。 「COSCUP 特別軌」將於 HKOSCon 的第二天，也就是 2019/06/15 舉辦， 相關票券事宜請緊盯 HKOSCon 官網 。以下所有時間順序在大會前或有變動，以 HKOSCon 網站公佈為準。 以下是本次入選的講題、講者及內容： 10:00-10:30 Formal Verification on Smart Contract (陳奕熹) For ethereum, 2016 might be a tough year, the DAO has been stolen 3.6 million ETH, equivalent of $70 million at that time, due to improper contract design. As a result, more and more automatic verification tool for smart contract come out to prevent potentially huge financial loss. Today, we will be looking at how formal verification tools work on smart contract, how can we use mathematical proof to ensure the quality of program. 10:40-11:10 DApp Game - Blockchain random number generation method and implementation (Huang Shih Chin(Xixi)) When users realized that the "application on the ICO was more important than the "token", the virtual currency began to decline in June 2018, prompting

COSCUP 2018 財務摘要:收入支出摘要 COSCUP 2018 財務報告，僅摘要屬於 2018 年份的收入與支出狀況。 收入    外幣    台幣    總計 收入                   會前派對 報名費     NT$49,400.00            親子工作坊 報名費     NT$4,200.00            義賣收入     NT$18,950.00            贊助收入     NT$3,764,000.00            贊助收入 - 外幣                       贊助收入-美元 $11,217.17 NT$354,528.47                贊助收入 - 個人贊助     NT$148,500.00     總收入         NT$4,339,578.47 支出    金額        總計 支出                    稅務成本 NT$291,692.00                營運成本                          行銷費 NT$686,960.00                      保險 NT$5,604.00                      設備與器材費 NT$380,902.00                      場地費 NT$719,950.00                      會眾費用-食物，交通車 NT$158,528.00                      義務工作人員費用 NT$491,543.00                      網站費用 NT$3,400.00                      講者及主持人費用 NT$1