第三届中国Rust开发者大会 Rustle: the first static analyzer for smart contracts in Rust Matthew Jiang Director of Security Team @ BlockSec Motivation Background Design 1 2 3 Capability Usability Conclusion as smart contracts language Motivation Limitations of manual audit •Time-consuming •Expensive •Skilled auditors •Error-prone Motivation Motivation Current tools: Don’t support contracts in Rust BPF WASM LLVM Pass: rich APIs to analysis the LLVM IR Background Near Blockchains with smart contracts in Rust Rust Web Assembly Solana Rust BPF Though they are compiled into bytecode in different

第三届中国Rust开发者大会 Candid: the interface description language of the Internet Computer smart contracts Yan Chen DFINITY Foundation Rust China Conf 2023 −− How DFINITY uses procedure macro to extend Rust 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

Version 1.0 (pre-Wrocław Edition) Timur Doumler CppCon 18 September 2024 Contracts for C++ The Swan, The Pike, and The Crab – Fable by Ivan Krylov, 18143 Copyright (c) Timur Doumler | Contract"; Eiffel programming language published 2001 D programming language published with Contracts support 2024 We are here12 Copyright (c) Timur Doumler | @timur_audio | https://timur Contract"; Eiffel programming language published 2001 D programming language published with Contracts support 2012 Ada programming language gains Contract support 2024 We are here13 Copyright

1Better Code: Contracts Dave Abrahams & Sean Parent What's holding our software together? Can we do better than duct tape and good intentions? 2© 2023 Adobe. All Rights Reserved. Adobe’s Software 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.eiffel const { return min(size(first()), size(second())); } bool empty() const; ... 60Strong contracts simplify code 61© 2023 Adobe. All Rights Reserved. What's in a “strong contract?” | Tradeoffs

Smart Pointers Back to Basics Rainer Grimm Training, Coaching, and Technology Consulting www.ModernesCpp.netSmart Pointer A First Overview std::unique_ptr – Exclusive Ownership std::shared_ptr – Concurrency Function Arguments and Return ValuesOverview 4 Smart pointers automatically manage the lifetime of its resource. ▪ Smart Pointers ▪ Allocate und deallocate their resource in the constructor management with reference counting ▪ Are C++ answer to garbage collection ▪ Release the resource if the smart pointer goes out of scope ▪ Are available in four versions raii.cppOverview Name C++ Standard

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