TWLKN x CSW COSCUP前哨戰#2:Lity: 讓你更安全的 smart contract language

Taiwan Linux Kernel Hackers 與 Cat System Workshop 首度聯名線上直播
COSCUP 前哨戰將透過密集的分享,帶給大家一系列精彩的活動,也讓人更加期待 COSCUP 的議程,歡迎舊雨新知踴躍出席,現場備有小點心與茶水供參與夥伴享用。



【分享主題】Lity: 讓你更安全的 smart contract language
【活動時間】2018/07/25 (Wed.) 19:30
【活動地點】Skymizer(贊助場地),台北市內湖區瑞光路408號12樓-2 
【主題簡介】

在 Ethereum 開發 smart contract 時,常常會因為原本語法上的設計,讓開發者可能在無意間犯下數千萬金錢的損失。以最近發生的 BEC overflow 事件為例,因為在一個小地方的乘法沒有使用 SafeMath 函式庫來包裝,讓 token 數量可以被 overflow 攻擊,進而造成非常驚人的損失。以及 EDU 沒有使用 SafeMath 做數值的減法。

Lity 是針對安全性所設計的進行更大的補強 ,除了能幫使用者檢查 smart contract 是否符合特定的 ERC Standard、提供更安全的 overflow checker、針對 Solidity Compiler 提供更完善的 diagnostic system 等外,我們也實作了 Ethereum Native Interface(ENI) 作為 Ethereum 與 Solidity 的額外擴充,讓 Ethereum Virtual Machine 能通過 native call 的方式來呼叫外部 libraries 進行效能上的提升。

在本次的演講中,我將討論 Lity 的設計哲學與在實作中的各種血淚故事。

本講者的 COSCUP talk 相關資訊:
* Topic: 從零開始理解原始碼 - 以 ethereum 為例
* Time : Aug 11, 13:30-13:55
* Track/Room: 大家讀源碼 (IB503)

* Topic: Lity: 讓你更安全的 smart contract language
* Time : Aug 11, 14:50-15:10
* Track/Room: Blockchain (IB302)

【講者簡介】

hydai
https://hyd.ai
興趣使然的工程師。目前在 Skymizer 的團隊中與 Compiler 的巨龍奮鬥。

 

【活動提醒】:

1. 活動準時於 19:30 開始,歡迎大家攜帶晚餐邊交流邊享用。
2. 活動場地需脫鞋, 建議大家穿著穿脫方便的鞋子過來唷!


點心贊助:資鼎中小企業開發股份有限公司 資鼎中小企業開發股份有限公司

本活動由資鼎中小企業開發股份有限公司贊助點心,歡迎大家帶著愉快的心情前來。

實體聚會前,來簽到認識一下大家,或到 gitter 上聊天吧

Cat System Workshop 長期徵求系統軟體、作業系統、編譯器、虛擬化、優化等相關技術的分享!其他與電腦科學相關的分享,也都可以投稿噢!歡迎來信:四貓<cat4@skymizer.com>

Facebook 社團:https://goo.gl/fR1AQZ 
GitHub 活動介紹:https://github.com/CatSystemWorkshop/meetup

 

Skymizer / 台北市內湖區瑞光路408號12樓-2

Event Tickets

Ticket Type Sale Period Price
一般票

2018/07/12 00:00(+0800) ~ 2018/07/25 21:30(+0800) End of Sale
  • Free
Next Step