CHINA CONF 2023 第三届中国Rust开发者大会 6.17-6.18 @Shanghai ## Rustle: the first static analyzer for smart contracts in Rust Matthew Jiang Director of Security Team @ BlockSec Outline 1 Motivation 2 Background Conclusion ## Motivation Why do we develop Rustle? ## 😍 ## Motivation Emerging chains with Rust as smart contracts language ## SOLANA NEAR NERVOS Polkadot CosmWasm ## Limitations of manual audit • Time-consuming Time-consuming • Expensive • Skilled auditors • Error-prone ## Current tools: Don’t support contracts in Rust  ## BlockSec Rustle

Rust China Conf 2023 ## Candid: the interface description language of the Internet Computer smart contracts -- How DFINITY uses procedure macro to extend Rust Yan Chen DFINITY Foundation ![Image]( extend Rust language safely without modifying the compiler • DFINITY has a Rust SDK to develop smart contracts on the Internet Computer • We did all the complicated work, so that developers don’t have to

## +24 ## Contracts for C++ ## TIMUR DOUMLER ## 20 24 September 15 - 20 ## Contracts for C++ Version 1.0 (pre-Wrocław Edition) Timur Doumler CppCon 18 September 2024 ; // assertion statement return db->retrieveWidget(i); } ## Contracts for C++ Document #: P2900R8 Date: 2024-07-26 Project: Programming Language C++ Audience: EWG com> Ville Voutilainen ## Abstract In this paper, we propose a Contracts facility for C++ that has been carefully considered by SG21 with a high bar set for level of consensus

Better Code: Contracts ## SEAN PARENT & DAVE ABRAHAMS ## 20 23 October 01 - 06  ## Better Code: Contracts Dave Abrahams components whose interaction is based on precisely defined specifications of the mutual obligations — contracts." —Building bug-free O-O software: An Introduction to Design by Contract $ ^{™} $ https://www } invariant { size(first()) == size(second()) } Strong contracts simplify code ## What's in a "strong contract?" | Tradeoffs ![Image](/uploads/docu

nt max() std::cout # Smart Pointers std::cout ## Back to Basics d(std::logical std::cout << "myVec::"; for (auto i: myVec).std::cout std::cout << "\n"; std::vector myVec2); Rainer Grimm Training, Coaching, and Technology Consulting www.ModernesCpp.net ## Smart Pointer A First Overview std::unique_ptr – Exclusive Ownership std::shared_ptr - Shared Ownership std::weak_ptr – Break of Cyclic References Performance Concurrency Function Arguments and Return Values ## Smart Pointer A First Overview std::unique_ptr – Exclusive Ownership std::shared_ptr - Shared Ownership

took a different approach, integrating many of the same characteristics as Bitcoin but adding smart contracts to create a platform for distributed applications. Bitcoin and Ethereum fall into a class of and even digital music delivery. Fabric is the first distributed ledger platform to support smart contracts authored in general-purpose programming languages such as Java, Go and Node.js, rather than constrained languages (DSL). This means that most enterprises already have the skill set needed to develop smart contracts, and no additional training to learn a new language or DSL is needed. The Fabric platform is

took a different approach, integrating many of the same characteristics as Bitcoin but adding smart contracts to create a platform for distributed applications. Bitcoin and Ethereum fall into a class of and even digital music delivery. Fabric is the first distributed ledger platform to support smart contracts authored in general-purpose programming languages such as Java, Go and Node.js, rather than constrained languages (DSL). This means that most enterprises already have the skill set needed to develop smart contracts, and no additional training to learn a new language or DSL is needed. The Fabric platform is

took a different approach, integrating many of the same characteristics as Bitcoin but adding smart contracts to create a platform for distributed applications. Bitcoin and Ethereum fall into a class of and even digital music delivery. Fabric is the first distributed ledger platform to support smart contracts authored in general-purpose programming languages such as Java, Go and Node.js, rather than constrained languages (DSL). This means that most enterprises already have the skill set needed to develop smart contracts, and no additional training to learn a new language or DSL is needed. The Fabric platform is

took a different approach, integrating many of the same characteristics as Bitcoin but adding smart contracts to create a platform for distributed applications. Bitcoin and Ethereum fall into a class of and even digital music delivery. Fabric is the first distributed ledger platform to support smart contracts authored in general-purpose programming languages such as Java, Go and Node.js, rather than constrained languages (DSL). This means that most enterprises already have the skill set needed to develop smart contracts, and no additional training to learn a new language or DSL is needed. The Fabric platform is

took a different approach, integrating many of the same characteristics as Bitcoin but adding smart contracts to create a platform for distributed applications. Bitcoin and Ethereum fall into a class of and even digital music delivery. Fabric is the first distributed ledger platform to support smart contracts authored in general-purpose programming languages such as Java, Go and Node.js, rather than constrained languages (DSL). This means that most enterprises already have the skill set needed to develop smart contracts, and no additional training to learn a new language or DSL is needed. The Fabric platform is