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

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

## +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

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

9_2.jpg) # Six ways for Implementing Math Expressions Calculator A walk through polymorphism, smart pointers, templates, concepts and more Amir Kirsh  << endl; delete e; Why do we use new and delete to begin with? Shouldn't we use smart pointers? First improvement attempt: unique_ptr ## Let's try it together Live Coding! ## Let's mandatory for Polymorphism! - Prefer using smart pointers for internal members - Try to hide your smart pointers, exposing value type semantics (Treat the use of smart pointers as an implementation detail!)

different about Inslee’s administration is how they’re going about it. They’ve dubbed their new approach SMART—Specific, Measureable, Attainable, Relevant, and Time-bound. In other words, they want to use Scrum

button = findViewById(R.id.button) as Button ## Smart cast improvements When a variable is assigned from a safe call expression and checked for null, the smart cast is now applied to the safe call receiver firstChar } // s: Any is smart cast to CharSequence val firstItem = (s as? Iterable<*>)?.firstOrNull() if (firstItem != null) return s.count { it == firstItem } // s: Any is smart cast to Iterable<*> Iterable<*> Also, smart casts in a lambda are now allowed for local variables that are only modified before the lambda: val flag = args.size == 0 var x: String? = null if (flag) x = "Yahoo!" run