# HKOSCon 2019「COSCUP 特別軌」議程 (20190608更新)

###### tags: `COSCUP2019` `program` `hkoscon`

### 10:00 - 10:30 Formal Verification on Smart Contract

陳奕熹
簡報連結 https://hackmd.io/@chenishi/rJzvzC9TN#/
影片連結 https://m.youtube.com/watch?v=hGt67LrdU0g

Taiwan, Tainan

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)
[簡報連結](https://drive.google.com/open?id=1Q1Vq2Svg0Iubcm6TASndxYJujze0D5-j&authuser=0)
Taiwan, Taipei

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 users in the market to pay attention to the development of the tokens. The development of DApp began to expand. The DApp industry recorded a turnover of 33.6 billion RMB in 2018. Almost 90% of the turnover comes from DApp games.

Because DApp game is built on the blockchain, it greatly restricts the gameplay. Currently, the common DApp games are: playing cards and dice.

This topic will introduce the DApp Gaming random number generation method on the market and analyze its advantages and disadvantages. And lead the audience together to implement the simple “solidity” version.

### 11:20 - 11:50 Decentralized data marketplace based on Distributed Ledgers
Jing-Hua Lin ( 林京樺 ),
Kuan-Ting Chen ( 陳冠廷 )
[簡報連結](https://docs.google.com/presentation/d/1MwfNmZmFx-icW7ozqMajSK6_gGAAv7fyfnLdLdyzIBA/edit?usp=drivesdk)
Taiwan, Tainan

The value of data is not a new thing, whether in business or in warfare.

Either the goal of precision marketing or the material collection for machine learning, their intentions can be shorten into one word: data, the oil in the digital era.

Not surprisingly, data storage and marketplace turn into new challenges.In this session, we’ll introduce an innovative type of data marketplace platform with distributed legder technology (DLT) to transform data into profits with better trust basic.

### 11:50 - 12:10 Morning Break

### 12:10 - 12:40 From the community, For the community: What is Open Culture Foundation?
Singing Li ( 李欣穎 )
[簡報連結](https://docs.google.com/presentation/d/18XNYiSXhc6IuaT7pPlOSbUOO0xwsyY4qtpcmUbJslCU/edit#slide=id.g5b3e0c5f88_0_481)
OCF / Taiwan

The organization of open source events in Taiwan can be attributed to the volunteers and resources from local communities. While preparing for these events, what are the difficulties "community member" might encounter? And how did local communities overcome these difficulties by establishing a "legal entity" and providing administrative support for more than 20 open source communities in Taiwan?

This talk will share the establishment of Open Culture Foundation (OCF) and answer the following questions. How did OCF start in the communities? Why do the communities need OCF? What role does OCF play in the communities? How does OCF support the communities and also grow with the communities?

### 12:50 - 13:20 A muggle promote Open Source pathways. Take COSCUP sponsorship team for example.
Ying-Hsin Hsu
[簡報連結](https://docs.google.com/presentation/d/1alW-ZKaWw18bDCUTYaiPXw0OATbv4ymq8sDL2i7b5nk/edit?usp=sharing)
Taiwan, Taipei

The normal people who doesn't coding could promote Open Source projects or campaigns.We can do my best. People will know what is Open Source and its spirit by the public relation plan. Companies will know how to use Open Source upgrading their software by sponsor Open Source compaigns.

### 13:20 - 14:20 Lunch

### 14:20 - 14:50 Plant Identification System with AI + AR
Ru Lu
Wang Fumin
Denken Chen
[簡報連結](https://docs.google.com/presentation/d/1BYsgsFd4jbymfdiKauJ-pYwAn8ab5Q7jknMnhXwig3U/)
Taiwan, Taipei

A smart flower atlas, built on open source image recognition systems,
powered by advanced Artificial Intelligence (AI) and Augmented Reality (AR) technologies.

We’ve done real-time identification mobile apps on iOS and Android,
without ever taking a picture. We continue to collaborate with
specialists to improve the system.

This project won 2018 g0v Civic Tech Grant. Landing page:
https://plant-tw.github.io

### 15:00 - 15:30 Status-quo of TensorFlow Lite on
Koan-Sin Tan
Taiwan, Hsinchu
[簡報連結](https://drive.google.com/file/d/1-bl9R_HbIHy40M90cA-dHxbG6DC1ljgA/view?usp=drivesdk)

Koan-Sin Tan is a veteran open source user who learned to use Unix on VAX-11/780 running 4.3BSD. He is interested in making NN models working cell phone recently. He wrote the label_image for TFLite, the first non-Google C/C++ command line example for TensorFlow Lite.

### 15:40 - 16:10 Build a minimal DBMS from scratch by Rust
An-Chi Liu
Taiwan, Taipei
[簡報連結](https://www.slideshare.net/AnChiLiu/build-a-minial-dbms-from-scratch-by-rust)

I will introduce to Rust, including the principles, the traits, and the current state of the Rust community. After that, I am going to talk about how to build a minimal DBMS from scratch - the StellarSQL project. In this talk, the following is covered. What is a DBMS? What is the architecture of the DBMS? What is the progress in developing the project? What are the existed resources in the community that I use for the developing? The speech would manifest that developing a small DBMS is fascinating and Rust is cool and powerful.

### 16:30 - 17:00 Decentralized Bare-Metal Operating System Provisioning
Yu-Chiang Huang ( 黃宇強 )
[簡報連結](https://docs.google.com/presentation/d/1HUA87UWP_wT8dJh1DRsBTwvC2SilVBXDGTKqxfYHimo/edit?ts=5cf5cead#slide=id.p)
Taiwan, Taichung

The EZIO Project proposes a reasonably efficient P2P soultion to deploy bare-metal operating system based on open source software technologies, such as libtorrent-rasterbar and CloneZilla. In this talk, we will discuss the difficult situation of bare-metal deployment in HPC or Cloud, and the performance, reliability and flexibility improvements on existing technologies, such as CloneZilla Multicast Mode.

EZIO has integrated in CloneZilla to provide 1-to-many bare-metal system provisioning on-the-fly, and tested successfully in HPC.

### 17:10 - 17:40 DHomemade scientific clusters
Taihsiang Ho
[簡報連結](https://docs.google.com/presentation/d/1RrpmfzbCbuPetEc9E_2QHBy1WWRRHlBrxf9QgUECFqs/edit#slide=id.g33ca6fbf29_0_43)
Taiwan, Taipei

As a great glue language, Python could (definitely) orchestrate many modern and powerful tools to build a scientific cluster. This talk will illustrate one of the real world examples, which is a cluster built and running on top of LXD/LXC/KVM/MaaS/public clouds so you may thus be a amateur CFD (computational fluid dynamics) or physics researcher.

### Mozilla Internet Health Report 2019
Irvin Chen
[簡報連結](https://docs.google.com/presentation/d/1Bu8Yyh4yQAU3JhfALxfQFwHTIGBcMiYD2u7kNHrfxq8)

### Closing