Welcome to the #47 edition of Rust in Blockchain, the monthly newsletter about Rust, distributed systems, cryptography, and other industry topics. Previous: #46.
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…
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.
- 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!
- 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
- 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
- Quorum Store: How Consensus Horizontally Scales on the Aptos Blockchain
- Aptos Labs brings Web3 to Gaming with its new SDK for Unity developers
4 merged PRs (1), 0 closed issues, 0 open issues
- Eliminating Smart Contract Bugs with TLA+
- Announcing the Internet Computer BUIDL Bitcoin Hackathon, powered by Encode Club
- Indexer Scalability for Ingest-heavy Workload
- The FVM Imaginarium: Developer Tooling, Hackathons and other Opportunities for Builders
- A New Era for Helium Begins with Upgrade to Solana Blockchain
- It’s here: The Helium Network Migrates to Solana Today
- The State of Zero Knowledge 2023 Report
- Unlocking the Power of Privacy: How Developers Can Leverage Homomorphic Encryption and Zero-Knowledge Proofs
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
- 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.
0 merged PRs, 0 closed issues, 4 open issues (1)
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
1 merged PRs (1), 0 closed issues, 0 open issues
- 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!
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
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 ❤️