Blockchain and Distributed Ledger
當以太坊有 DeFi Summer, Solana 有 PoH, Ton 有 telegram, 作為最初的區塊鏈網路,比特幣的發展看起來依然處於落後狀態。
智能合約的缺失,是否令比特幣失去了與其他公鏈競爭的能力?在 2024 年的這一個時間點,答案看起來與我們想像的不同。比特幣開發者們一直致力開發的 lightning network 和 RGB Protocol 是甚麼?Merlin Chain, Liquid Network, Zeus Network 等的項目相繼出現,是否能為比特幣帶來更多可能性?我會在這次的議程中盡可能帶來比特幣生態的現況介紹,並分析不同的擴容方案的差別。
講者
ken leong
Hi,我是 Ken!一名來自台北科技大學資訊與財金管理系的學生,北科大區塊鏈研究社第四任社長,XueDAO 和渠DAO 的成員。是一個會寫 Python 的 DevOps, 對區塊鏈很感興趣!
This sharing would aim to help developers learn to build their own social applications on Farcaster, especially focused on building "Frames". The content would include, but not limited to, “a technical introduction to Farcaster and Frames”, “examples of what Frames can do”, “the nuts and bolts of developing your own frame”, and “some predictions about the future of frames”. I have had a comprehensive experience developing a Farcaster bot with frames while participating in the 2024 ETHTaipei hackathon and won several tracks with the project - “Santa Bot”. Therefore, I believe I have quite a lot of valuable experience to share! With this talk, I hope to lower the barrier for developers to build brand new applications or integrate existing applications onto Farcaster using Frames.
講者
Terrance
Hi, I'm Terrance. An incoming master's of computer science student at Carnegie Mellon University starting in 2024 fall.
Previously, I studied computer science at National Taiwan University and had work experience at Google Taiwan and BSOS, mostly working on software engineering and product management.
I have been contributing to the web3 community in Taiwan by being a core contributor at XueDAO, hoping to grow the web3 student community!
Check out my linkedin if you want to know more!
「模組化區塊鏈」的設計中將區塊鏈的組成元件分成不同模組,例如執行層、共識層(或稱 DA 層)、結算層等等,這個 talk 會聚焦在 DA 層這個模組。DA 層用來確保「資料有正確發佈」(或稱「資料可得」),這個特性沒有辦法被確保的話,就等於使用者在使用一條資料實際上根本不存在的區塊鏈。
DA 層的核心技術是 Data Availability Sample(DAS)。透過 DAS,網路以可以 Scale 的方式來確保資料發佈特性:越多節點加入到網路,就能驗證越大量的資料。DAS 是如何做到的?目前有哪些項目實作了 DAS?它們的差異在哪?這些都是這個 talk 會涵蓋的內容。
講者
Nic
TEM 歡迎大家來投稿:https://medium.com/taipei-ethereum-meetup/tem-medium-2024-call-for-article-8412024c2390
Devcon is coming to Southeast Asia this November 2024! Learn more about what Devcon is all about and 5 reasons why you should not miss it.
講者
Unnawut Leepaisalsuwanna
None
The Ethereum Cancun Upgrade: A Smart Contract Developer's Perspective
從智能合約開發者視角探討 Ethereum Cancun 升級,重點分析幾個關鍵的以太坊改進提案(EIPs),包括 EIP-1153、EIP-4788、EIP-5656 和 EIP-6780,旨在深入了解這些更新如何影響合約開發。
講者
Bill Hsu
Blockchain Security Researcher
As ERC-4337 rolled out, AA (Account Abstraction) and smart contract accounts had grown awareness these days. Disappointingly, most wallets for smart contract account in market today don't offer a smoothy user experience, especially when interacting with DApp, as long-lasting EOA (Externally Owned Account) wallets.
This talk will first cover the essentials of building a minimal wallet that can connect to existing DApp. Afterwards, it will introduce basic concepts of AA and ERC-4337, also the properties of AA account, which is a kind of smart contract account. In the second half, it will share an experimental design of AA account wallet, taking browser extension as example, to demonstrate how the design retains DApp interoperability and provide competitive experience with EOA wallets.
講者
Cyan
Coder x Reader x Writer.
Working at imToken Labs as a Blockchain Engineer, recently focusing on AA research.
Sui 的 Zero Knowledge Login 與 Sponsored Transaction 如何打造吸引人的區塊鏈應用
在這次演講中,我們將介紹在 Sui 區塊鏈平台上實現的兩項創新技術:零知識登入(Zero Knowledge Login)和贊助交易(Sponsored Transaction)。這些技術大大簡化了區塊鏈的用戶體驗,特別是對於新進用戶來說,透過這些技術,可以立即開始與智能合約互動,不再需要繁複的私鑰管理和預存交易費用。我們將會逐步解析零知識登入與贊助交易的運作流程:
說明如何透過零知識證明,直接利用自己的 OAuth 帳號如 Google 進行驗證簽章,來代表自己的區塊鏈錢包,但又能避免任何第三方能存取自己的錢包。
說明如何透過多重簽章達到贊助交易,讓交易發起人不用準備手續費就能立刻與智能合約互動,並且贊助者還能從中獲利。
介紹完這些技術後,我們會說明應用範例,展示了如何通過這些技術,在 Sui 上打造吸引人且永續的區塊鏈應用。並當場抽出四名幸運得獎者,讓他們透過 Zero Knowledge Login 與贊助交易領取等值共 $200 的 $SUI。
講者
Eason Chen
嗨,我是 Eason,是卡內基梅隆大學人機交互研究所的二年級博士生。並且現在在開發 Sui 的公司:Mysten Labs 擔任暑期實習研究員。
我堅信區塊鏈技術有能力增強世界的開放性、透明度、公平性和效率。此外,我認為人工智能可以在區塊鏈技術領域中,提高使用者和開發者的可訪問性和易懂性。
我目前正在 Sui 區塊鏈上開發。
想了解更多關於我的信息,請訪問我的網站 https://eason.phd
講者
Justa Liang
Having completed my studies in Electrical Engineering at NTU with a focus on computer vision, my interests have since shifted towards the domains of Web3 and Blockchain. I am dedicated to mastering programming languages pivotal to Blockchain technology, including Solidity, Rust, and Move. My expertise extends to developing decentralized applications (Dapps) across both EVM and non-EVM chains, encompassing areas such as NFTs, GameFi, and SocialFi. My skills have been recognized through various Hackathon awards, including accolades from Polygon BUILT IT and the Aptos Builder House in Seoul. Below is an overview of my professional profile.
講者
Steven Hung
Hello, my name is Steven Hung. I have been deeply involved in the cryptocurrency and blockchain space since 2021. During this time, I have expanded my knowledge and expertise in this field and built a self-media presence on Instagram, where I share Web3 content with over 2.7k followers on my account, stevenhung.sui.
In my current role at Bucket Protocol, I focus on developing and executing marketing strategies to promote our DeFi solutions. I am passionate about leveraging innovative technologies to drive engagement and growth in the blockchain community.
SuiGPT 是一款利用大型語言模型對 Sui 智能合約進行反編譯和美化的工具。本演講將介紹我們如何進行 Prompt Engineering 來開發 AI 工具來 Decompile 區塊鏈上的智能合約。
智能合約是 Sui 生態系統的重要組成部分。然而,由於大多數智能合約是用 Move 語言編寫並以 bytecode 發布。非技術使用者常常難以理解他們打算使用的智能合約的功能。進而導致質疑與不信任。
此外,閱讀現有的智能合約是學習編寫智能合約的絕佳方式。然而,Sui 的智能合約大多是不開源的,即使可以使用諸如 Revela 之類的工具進行反編譯,開發者仍很難理解它們的工作原理。因此,開發者可能會對如何開始編寫自己的合約或如何在他們的項目中正確使用現有模塊感到困惑。
為了解決上述兩個問題,SuiGPT 應運而生,使非技術用戶和新手開發者能夠輕鬆理解、審查和審計 Sui Move 智能合約。借助最先進的人工智能技術,任何用戶都可以透過 SuiGPT 輕鬆閱讀、理解和審計 Sui 區塊鏈上的智能合約。
講者
Eason Chen
嗨,我是 Eason,是卡內基梅隆大學人機交互研究所的二年級博士生。並且現在在開發 Sui 的公司:Mysten Labs 擔任暑期實習研究員。
我堅信區塊鏈技術有能力增強世界的開放性、透明度、公平性和效率。此外,我認為人工智能可以在區塊鏈技術領域中,提高使用者和開發者的可訪問性和易懂性。
我目前正在 Sui 區塊鏈上開發。
想了解更多關於我的信息,請訪問我的網站 https://eason.phd
目前 AI 領域自 2023 年起因為 ChatGPT 的問世而開始方興未艾 在區塊鏈世界也已經掀起了 AI ++ 的區塊鏈項目盛行風潮,然而令人霧裡探花的,是區塊鏈技術如何真正能夠幫助我們打造出更安全、更永續的 AI 應用產品。 本次的演講我將從 ZKML( Zero-Knowledge Machine Learning )以及 FHE 全同態加密((Fully Homomorphic Encryption, FHE))如何讓 AI 應用能夠兼顧隱私和去中心化,並且去探討 EigenLayer 這類型的 Restaking 協議如何透過經濟學的角度去打造更去中心化的 AI 基礎設施。 最後,本演講最後也會介紹在區塊鏈技術在 AI 領域發展的過程中遇到了什麼樣的瓶頸,以及可能的解決方案和轉機。
講者
Williams Lai
GM! Williams Lai 是在區塊鏈世界打滾了、玩樂了七年的小書僮。目前任職於 Impossible Finance 擔任研究員和 OPs lead ,先前曾是公鏈 Nervos 的佈道者。
Williams 非常熱衷於研究任何區塊鏈中的機制設計,從公鏈與 Layer2,以及跨鏈基礎設施,到 Web3 ,DeFi 和GameFi 等應用領域,只要存在機制設計的地方,就是本人感興趣的範疇。很高興能夠第五次來投稿 Coscup,也很榮幸前四年能夠擔任 Coscup 的講者,並且從中自己得到了許多學習和分享的樂趣。
今年熱衷的區塊鏈領域的研究題目是 AI, ZK, Restaking ,BTC L2
Oracle Extractable Value (OEV) 是一種特殊的Maximal Extractable Value (MEV),利用鏈上與鏈下資料之間的不一致性,創造價值捕獲的機會。預言機提供的資料通常滯後於現實世界的市場價格,因此當預言機更新數據時,有經驗的參與者-包括searchers、block builders及proposers(Validators)-就會有盈利空間。
這種機制不僅包括了搶跑,也涉及跨平台套利和清算抵押品以獲得獎勵。
目前,OEV相關的專案希望解決價值分配的不公問題,允許協議和應用捕捉這些利潤並進行重新分配。這些項目通過OFA減少第三方從區塊鏈交易中提取的隱藏成本,從而提高dApp的收益並改善用戶體驗。
身邊知道這個東西的人不多,希望能透過我的介紹讓普羅大眾能理解這個酷酷的名詞。
講者
Jack Chai
大學生 @ NCCU / Blockchain Research Intern @ SuDo Research Labs / 起初是因為好玩,所以研究區塊鏈,未來會深入研究區塊鏈技術與應用,期待為社會做出正面的貢獻
Exploring Contract Analysis Tools by Unveiling Real-World Upgradeable Proxy Vulnerabilities
Web3 領域的攻擊事件層出不窮,根據 DefiLlama 的數據,至今為止 Web3 領域攻擊損失已超過 7.82 億美元。然而從 DeFiHackLabs 的數據庫分析攻擊成因,會發現有許多是出自已知且常見的智能合約漏洞,例如 Reentrancy、Arbitrary Call 等等,那麼這些資安風險有沒有什麼方式可以即早避免呢?
本次的分享將會著重在,常見的智能合約安全檢測工具介紹與實作,帶領合約開發者增強其安全性。我們將會以 Upgradeable Proxy 為例,介紹其概念以及潛在的資安問題,並透過工具掃描歷史上實際被攻擊過的 Proxy 合約,來驗證這些工具可提供實際安全上的協助!
講者
蔡佳誠
正在朝 Web3 Security Researcher 的路上前進!
WebAssembly 模块的编译与运行,零知识证明应用测试
講者
涂文超
Manta,idea2app 团队联合共创人,web 前端,fCC 志愿者,中国开源社正式成员,中国开源社开放黑客松平台迭代升级重要贡献者
隨著Web3技術的發展,釣魚攻擊手法也愈加精緻。攻擊者通過濫用智能合約和錢包的漏洞,設計巧妙的陷阱誘騙受害者。本次將詳細介紹智能合約釣魚的操作手法、駭客如何成功繞過錢包的安全檢查,以及一旦中招,如何採取有效措施。
講者
Helen
XREX- 資安工程師 專注於反洗錢鏈上分析和Web3詐騙手法的研究,對於網絡安全一直抱有濃厚的興趣。雖然Web3技術的進步令人興奮,但隨著我的研究,我也意識到許多人成為受害者,造成龐大的資產損失。我希望透過分享我的發現,提高大家對於黑暗森林風險的警覺,以減少更多人受到傷害!
Witness generation is a critical step in the creation of zero-knowledge proofs. This talk will focus on witness generation for Rank-1 Constraint Systems (R1CS) within Keelung, a Haskell-based zero-knowledge domain-specific language we are developing. We will discuss the challenges of developing and optimizing constraint solvers for witness generation. Additionally, we will showcase how Keelung allows developers to write programs that provide hints to the solver, enhancing efficiency and effectiveness in witness generation.
講者
Ting-Gian LUA
Interested in programming languages, mathematics, and linguistics.
講者
Kevin Chia
I'm a software engineer interested in privacy preserving technologies, system programming, networking, and general software development. Now I'm working on privacy-preserving applications at Privacy and Scaling Explorations team.
In this presentation, we will introduce the functionalities of our open-source library, Alice, and discuss what the Threshold Signature Scheme is. It includes concepts such as distributed private key generation, threshold signatures, and some related concepts of HD wallets.
講者
cyc
AMIS 密碼學工程師
A short experience to perform fuzzing and formal verification
In this session, the speaker will explore the basics of fuzzing testing and formal verification by using simple examples and share the experience and the tools for performing fuzzing testing and formal verification.
講者
wiasliaw
Non-working blockchain developer. Working on #evm, #zk-stuff.