Welcome to the #37 edition of Rust in Blockchain, the monthly newsletter about Rust, distributed systems, cryptography, and other industry topics. Previous: #36.
RiB needs help to keep up with Rust blockchain projects. If you follow a particular project, or otherwise find information that is beneficial to the Rust & blockchain community, please contribute to the next issue by submitting a PR to the next draft.
Each month we like to shine a light on a notable Rust blockchain project. This month that project is…
Lurk is a Lisp the correct execution of which can be proved with recursive SNARKS.
The lurk-rs implementation compiles by transpiling through
- DAG Meets BFT - The Next Generation of BFT Consensus
- Are blockchains decentralized?
- Smart Contract Security: A Simple Checklist for Web3 Development
- New PQC NIST standards announced
- Zero Knowledge Proof — Deep into zkEVM source code (MPT Circuit)
- Zero Knowledge Proof — Deep into zkEVM source code (State Circuit)
- Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments
- End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs
- Safe Permissionless Consensus
- Round Efficient Byzantine Agreement from VDFs
- VERI-ZEXE: Decentralized Private Computation with Universal Setup
- Hertzbleed: Turning Power Side-Channel Attacks Into Remote Timing Attacks on x86
- Curve Trees: Practical and Transparent Zero-Knowledge Accumulators
- On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
- Cleopatra Cairo. A Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
- Rust Discrete Log Contracts. DLCs are a means of creating derivatives, futures, and stablecoin contracts on Bitcoin. For more, see the DLC specs. It makes use of the rust-lightning (LDK) and rust-bitcoin crates.
- arkworks::algebra. Libraries for finite field, elliptic curve, and polynomial arithmetic
- Circuits for zkEVM.
- Lurk. A Turing-complete programming language for Zero-Knowledge Proofs.
- RUSTSEC-2022-0033: Vulnerability in openssl-src.
- Heap memory corruption with RSA private key operation.
- RUSTSEC-2022-0032: Vulnerability in openssl-src.
- AES OCB fails to encrypt some bytes.
- RUSTSEC-2022-0029: Vulnerability in crossbeam.
popuse the wrong orderings
- CVE-2021-41641: Link following in Deno.
- CVE-2022-31100: Reachable assertion in rulex.
- CVE-2022-31099: Uncontrolled recursion in rulex.
- CVE-2022-31104: Miscompilation of
selectwith v128 inputs in
GitHub issued a large set of Rust advisories on a single day in June, but it seems to be a result of importing old RustSec advisories.
Most Active in June
Parity: 557 merged PRs, 152 closed issues, 130 open issues
Solana: 501 merged PRs, 95 closed issues, 103 open issues
Sui: 343 merged PRs, 155 closed issues, 140 open issues
Fuel: 339 merged PRs, 214 closed issues, 180 open issues
Aptos: 290 merged PRs, 81 closed issues, 32 open issues
16 merged PRs (1), 0 closed issues, 0 open issues
- Solana Network Upgrades
- Solana Mobile debuts Saga, a flagship Android phone for web3
- The reality behind Solana’s claimed 50K TPS
Rust in Bitcoin
BDK 0.19 was released with experimental Taproot support, including
tr() descriptors, taproot PSBTs, signing key and script spend taproot PSBTs, and
descriptor! macros. Lots of activity from the RGB team this month as they released rgb 0.7 and are working hard on finishing 0.8, which is currently available pre-release, and includes work on Tapret on-chain Deterministic Bitcoin Contracts. Once the rgb-core 0.8 release is finalized, mainnet support for RGB20 tokens should be ready. Activity around LDK is also picking up, with their recent 0.108 and 0.109 releases.
For discussion join the Rust in Bitcoin Telegram group.
- 0.19 Released with Taproot support
- rust-hwi version 0.2.0 is out!
- bdk-swift version 0.4.0 is ready, including bdk 0.19.0 with experimental tr() descriptor support
- rust-lightning 0.0.109 released
- The story behind LDK, where they are, and where they’re going
- LDK adds anti-fee sniping measures to channel funding transactions
2 merged PRs (1), 0 closed issues, 0 open issues
0 merged PRs, 0 closed issues, 1 open issues (1)
0 merged PRs, 0 closed issues, 1 open issues (1)
5 merged PRs (1), 0 closed issues, 0 open issues
3 merged PRs (1), 0 closed issues, 0 open issues
8 merged PRs (1), 0 closed issues, 0 open issues
If we’ve missed any other notable Rust Bitcoin projects or ecosystems, feel free to contribute!
Rust in Ethereum
If we’ve missed any other notable Rust Ethereum projects or ecosystems, feel free to contribute!
Aug 7-9 | Online, Las Vegas, US
Aug 10-12 | Matsue city, Shimane, Japan
Aug 13-18 | Santa Barbara, CA, US
Aug 29-31 | Arrillaga Alumni Center, Stanford University
Sep 12-14 | Radialsystem, Berlin
Sep 15 | Berlin, Germany
Sep 28-29 | Online, NYC, US
Oct 7-16 | Bogota, Colombia
Oct 28-30 | Lisbon, Portugal
Nov 7-10 | Chicago, USA
Nov 10-11 | Dubai, United Arab Emirates
Casper Labs | Remote
- Project Manager (China)
- React Developer
- Director of Product Marketing
- Rust Developer
- Typescript Developer
- Core Engineer : dAPP Dev
- Full Stack Developer
Start9 Labs | Denver, USA / Remote
More jobs can be found at Job Board.
Want to be included in the next issue? Feel free to submit a PR to the next draft.
Join the discussion on RiB telegram group ❤️