Completed
We split the problem into two main parts: 1. Transaction subsystem • Requires a complicated database setup • Improved with standard performance & stress testing 2. Simulation that focuses on the dist…
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Verification and Performance Simulation in Real-World Applications - A Case Study with the Stellar Blockchain
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Intro: What is Stellar?
- 3 Maintains a local copy of a cryptographic ledger Processes transactions against it, in consensus with a set of peers. Implements the Stellar Consensus Protocol, a federated consensus protocol. Writte…
- 4 Practical approach: Network Simulation
- 5 We split the problem into two main parts: 1. Transaction subsystem • Requires a complicated database setup • Improved with standard performance & stress testing 2. Simulation that focuses on the dist…
- 6 Create a network based on the public network topology Have them talk to each other Monitor metrics of each node (e.g., CPU/memory usage, consensus latency)
- 7 Node count, transaction volume, etc Analysis on the degree distribution, diameter,... Network behavior in different situations - Anomalies at the node level - Traffic pattern changes, etc
- 8 Theoretical approach: Formal Verification
- 9 Verify a new change to the protocol - Security: Does the network function as a proper
- 10 Step 1: Create a model - Implement the protocol in Ivy Step 2: List properties to prove - Examples
- 11 Test the actual C++ implementation • Alternative ballot-protocol model • More work on liveness properties
- 12 Ask What's the simplest solution that represents a significant step towards the full solution? • Learn from each iteration, and apply it to the next iteration
- 13 Questions?
