#static-analysis #set #read-write #diem #bytecode #inference #payment

yanked read-write-set-dynamic

Read/write set inference for Move bytecode programs by concretizing the static analysis result

0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 23, 2022

#50 in #static-analysis

Download history 4/week @ 2023-12-25 3/week @ 2024-02-05 94/week @ 2024-02-26 2/week @ 2024-03-04 4/week @ 2024-03-11 6/week @ 2024-03-18 5/week @ 2024-03-25 91/week @ 2024-04-01

107 downloads per month
Used in 113 crates (3 directly)

Apache-2.0

645KB
14K SLoC

Note to readers: Silvergate Capital Corporation announced in January 2022 that it acquired intellectual property and other technology assets related to running a blockchain-based payment network from Diem, further investing in its platform and enhancing its existing stablecoin infrastructure.

Diem Logo

Diem Rust Crate Documentation (main) License grcov test history

Diem Core implements a decentralized, programmable distributed ledger which provides a financial infrastructure that can empower billions of people.

Note to Developers

  • Diem Core is a prototype.
  • The APIs are constantly evolving and designed to demonstrate types of functionality. Expect substantial changes before the release.
  • We’ve launched a testnet that is a live demonstration of an early prototype of the Diem Blockchain software.

Learn About Diem

Getting Started - Try Diem Core

Technical Papers

Governance

Blog

License

Diem Core is licensed as Apache 2.0.

Dependencies

~3.5MB
~67K SLoC