RiB Newsletter #47
Welcome to the #47 edition of Rust in Blockchain, the monthly newsletter about Rust, distributed systems, cryptography, and other industry topics. Previous: #46.
Thanks
Thanks to contributors: Andrew Dibble, Calin Martinconi, Chan De Silva, Brian Anderson and Aimee Zhu. Thank you for your help!
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.
Project Spotlight
Each month we like to shine a light on a notable Rust blockchain project. This month that project is…
zkWasm is a project that runs a WebAssembly runtime as a ZKSNARK circuit. This should eventually allow for proofs of execution for programs targeting wasm so that e.g. validators don’t all have to re-execute the same transactions; they instead just verify the proof that someone executed the transaction correctly. This is similar to RISC-0 (for RISC-V) and the various zero-knowledge EVMs.
Interesting Things
Blog Posts
- Exciting times at the intersection of Compilers and Applied Cryptography: CAIRO and MLIR
- All you wanted to know about Plonk
- zkWASM: The Future of Scalable Computation in Blockchain
- zkWASM, zkOracle and Programmability: Pioneering Scalable and Secure Blockchain Solutions
- Hardware Review: GPUs , FPGAs and Zero Knowledge Proofs
- Bridging the Gap: How ZK-SNARKs Bring Transparency to Private ML Models with zkml
- Do You Want Quality Code? Learn How to Use Differential Fuzzers!
Papers
Projects
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem. Blog post: Revolutionizing DeFi Security: ZK Proof of Exploit on RISC Zero.
- Ola. A high-level language for implementing smart contracts. From the outset, it is designed to be a zk-friendly programming language. Blog post: A Programmable Privacy Platform for Ethereum: Understanding Ola’s Design Principles and Technical Features
Most Active in April
Sui: 759 merged PRs, 140 closed issues, 102 open issues
Parity: 345 merged PRs, 178 closed issues, 150 open issues
Aptos: 310 merged PRs, 71 closed issues, 54 open issues
Solana: 295 merged PRs, 56 closed issues, 23 open issues
Starkware: 290 merged PRs, 33 closed issues, 19 open issues
Project Updates
Aleo
69 merged PRs (1, 2, 3, 4, 5), 16 closed issues (1, 2, 3, 4), 7 open issues (1, 2, 3)
- Fixed-Point Arithmetic in LEO
- Pioneer the Future of Private Machine Learning with Aleo’s zkML Initiative
- Neural Network Inference with Leo
- Loan decisions with neural networks using Leo
Anoma
59 merged PRs (1, 2, 3, 4), 29 closed issues (1, 2, 3), 14 open issues (1, 2, 3)
Aptos
310 merged PRs (1), 71 closed issues (1), 54 open issues (1)
- Quorum Store: How Consensus Horizontally Scales on the Aptos Blockchain
- Aptos Labs brings Web3 to Gaming with its new SDK for Unity developers
Casper
80 merged PRs (1, 2), 80 closed issues (1, 2), 60 open issues (1, 2)
COMIT
0 merged PRs, 1 closed issues (1), 1 open issues (1)
Concordium
38 merged PRs (1, 2, 3, 4, 5, 6), 13 closed issues (1, 2, 3, 4), 10 open issues (1, 2, 3)
Conflux
9 merged PRs (1), 2 closed issues (1), 5 open issues (1)
DarkFi
4 merged PRs (1), 0 closed issues, 0 open issues
Dfinity
64 merged PRs (1, 2, 3, 4, 5), 11 closed issues (1, 2, 3, 4), 3 open issues (1, 2, 3)
- Eliminating Smart Contract Bugs with TLA+
- Announcing the Internet Computer BUIDL Bitcoin Hackathon, powered by Encode Club
Dusk Network
9 merged PRs (1, 2), 10 closed issues (1, 2, 3, 4), 8 open issues (1, 2)
Espresso Systems
34 merged PRs (1, 2), 20 closed issues (1, 2), 17 open issues (1, 2)
Filecoin
104 merged PRs (1, 2, 3, 4, 5, 6, 7, 8, 9, 10), 27 closed issues (1, 2, 3, 4, 5, 6), 18 open issues (1, 2, 3)
- Indexer Scalability for Ingest-heavy Workload
- The FVM Imaginarium: Developer Tooling, Hackathons and other Opportunities for Builders
Findora
46 merged PRs (1, 2, 3, 4, 5), 0 closed issues, 1 open issues (1)
Fluence
124 merged PRs (1, 2, 3, 4, 5, 6, 7), 0 closed issues, 0 open issues
Fuel
214 merged PRs (1, 2, 3, 4, 5, 6, 7, 8), 147 closed issues (1, 2, 3, 4, 5, 6, 7), 112 open issues (1, 2, 3, 4, 5, 6, 7)
Golem
21 merged PRs (1, 2, 3, 4), 13 closed issues (1, 2), 21 open issues (1, 2)
Grin
2 merged PRs (1), 1 closed issues (1), 2 open issues (1)
Helium
19 merged PRs (1, 2, 3), 7 closed issues (1, 2), 1 open issues (1)
- A New Era for Helium Begins with Upgrade to Solana Blockchain
- It’s here: The Helium Network Migrates to Solana Today
Holochain
120 merged PRs (1, 2, 3, 4), 15 closed issues (1, 2, 3), 5 open issues (1, 2)
IOTA
14 merged PRs (1, 2, 3, 4, 5, 6, 7), 5 closed issues (1), 1 open issues (1)
Maidsafe
115 merged PRs (1, 2), 42 closed issues (1), 23 open issues (1)
Mina
0 merged PRs, 2 closed issues (1), 1 open issues (1)
- The State of Zero Knowledge 2023 Report
- Unlocking the Power of Privacy: How Developers Can Leverage Homomorphic Encryption and Zero-Knowledge Proofs
MobileCoin
25 merged PRs (1, 2), 11 closed issues (1, 2), 7 open issues (1)
MultiversX
26 merged PRs (1, 2), 1 closed issues (1), 1 open issues (1)
NEAR
114 merged PRs (1, 2, 3, 4, 5, 6, 7, 8), 29 closed issues (1, 2, 3, 4, 5, 6), 30 open issues (1, 2, 3, 4)
Nervos
80 merged PRs (1, 2, 3, 4, 5, 6), 29 closed issues (1, 2, 3, 4), 7 open issues (1, 2, 3)
Oasis
10 merged PRs (1), 0 closed issues, 0 open issues
- 4 Ways to Compare Trusted Execution Environments and Zero-Knowledge Proofs
- Oasis March 2023 Engineering Update
Parity
345 merged PRs (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13), 178 closed issues (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12), 150 open issues (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
Radix
47 merged PRs (1, 2, 3), 0 closed issues, 0 open issues
Secret Network
16 merged PRs (1, 2, 3), 1 closed issues (1), 0 open issues
Solana
295 merged PRs (1, 2, 3), 56 closed issues (1, 2, 3), 23 open issues (1, 2)
Subspace Network
55 merged PRs (1), 23 closed issues (1), 11 open issues (1)
Sui
759 merged PRs (1), 140 closed issues (1), 102 open issues (1)
Zcash
62 merged PRs (1, 2, 3, 4, 5), 38 closed issues (1, 2, 3, 4), 19 open issues (1, 2, 3, 4)
- New Release 5.5.0
- Experimental Zebra progress bars
- A Simple Threat Model for Zcash Shielded Hardware Wallets
Rust in Bitcoin
For discussion join the Rust in Bitcoin Telegram group.
AluVM
1 merged PRs (1), 1 closed issues (1), 0 open issues
BDK
16 merged PRs (1, 2, 3), 6 closed issues (1, 2, 3), 13 open issues (1, 2, 3)
BitMask
10 merged PRs (1), 1 closed issues (1), 0 open issues
Cyphernet
4 merged PRs (1), 4 closed issues (1), 2 open issues (1)
Electrs
1 merged PRs (1), 5 closed issues (1), 1 open issues (1)
Fedimint
159 merged PRs (1), 84 closed issues (1), 52 open issues (1)
LDK
56 merged PRs (1, 2, 3), 24 closed issues (1), 29 open issues (1)
LNP/BP
10 merged PRs (1, 2, 3), 3 closed issues (1, 2), 0 open issues
LNP WG
1 merged PRs (1), 0 closed issues, 1 open issues (1)
MyCitadel
6 merged PRs (1), 17 closed issues (1), 23 open issues (1)
Nakamoto
0 merged PRs, 0 closed issues, 4 open issues (1)
Nomic
4 merged PRs (1, 2), 1 closed issues (1), 0 open issues
RGB
1 merged PRs (1), 4 closed issues (1), 1 open issues (1)
Rust Bitcoin
31 merged PRs (1, 2, 3, 4, 5), 10 closed issues (1, 2, 3, 4), 16 open issues (1, 2, 3, 4)
Rust Simplicity
5 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
Ethers-rs
55 merged PRs (1), 13 closed issues (1), 7 open issues (1)
Foundry
46 merged PRs (1), 56 closed issues (1), 78 open issues (1)
Lighthouse
15 merged PRs (1), 22 closed issues (1), 23 open issues (1, 2)
Mir Protocol
57 merged PRs (1, 2), 0 closed issues, 2 open issues (1)
Reth
273 merged PRs (1), 83 closed issues (1), 52 open issues (1)
Rust Ethereum
1 merged PRs (1), 0 closed issues, 0 open issues
Rust Web3
1 merged PRs (1), 1 closed issues (1), 0 open issues
Starkware
290 merged PRs (1, 2, 3), 33 closed issues (1, 2), 19 open issues (1, 2, 3)
- All roads lead to Giza, Starknet Roadmap and Cairo Book
- What are Storage Proofs and how can they improve Oracles?
- StarkEx V5.0 for Spot Trading is Here!
If we’ve missed any other notable Rust Ethereum projects or ecosystems, feel free to contribute!
Events
May 1-5 | Bol, Brač, Croatia | Financial Cryptography and Data Security 2023
May 15-20 | Chicago, IL, US | zkWeek
May 19-23 | Montenegro | EDCON 2023
May 20-21 | Amsterdam, Netherlands | ETHDam
Jun 3-5 | Prague, Czech Republic | Gateway to Cosmos 2023
Jun 9-10 | Prague, Czech Republic | ETHPrague
Jun 17-20 | Paris, France | EthCC
Aug 28-30 | Palo Alto, CA, US | The Science of Blockchain Conference 2023
Sep 5-6 | Seoul, Korea | Korea Blockchain Week
Sep 11-13 | Berlin, Germany | DappCon
Sep 12-15 | Albuquerque, NM & Online | RustConf 2023
Careers
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 ❤️