Introduction to Provable Smart Contracts
Provable smart contracts use cryptographic techniques to verify that computations done outside the blockchain are correct. This means that…
Implementing an Arithmetic Circuit Compiler in Rust
Implementing an arithmetic circuit compiler in Rust involves creating a system that can parse a polynomial expression, construct an…
Understanding Zero-Knowledge Proofs: Encoding Programs into zk-SNARKs
What are Zero-Knowledge Proofs?
Implementing Zero Knowledge Multi-Party Computation in Rust
In this tutorial, we explore the foundational concepts and practical implementation of a simplified zk-rollup-like system in Rust! 🦀
Rust Traits: from Zero to Hero
Who’s never stumbled upon the tricky “the (…) trait bound is not satisfied” when coding in Rust? We have all been there!
Implementing a Web3 NFT API in Rust
Hi fellow Rustaceans! 🦀
Implementing a Distributed State Machine in Rust
In this guide, we’ll walk through the creation of a simplified distributed state machine using Rust. 🦀
Implementing a Virtual DOM in Rust
In this article, we explore the implementation of a basic virtual DOM for parsing and rendering HTML elements using Rust.
Memory-Mapped I/O in Rust
Memory-mapped I/O is especially helpful when working with big files, loading only the necessary parts into memory. This makes it simpler to…
Raft Cluster in Rust
In today’s article, we will explore how to implement a basic Raft-based consensus system in Rust. 🦀
Database Sharding in Rust
Database sharding is a technique to scale out databases by breaking them into smaller, more manageable pieces called shards. It’s…
Dynamic Code Generation in Rust
Hi there, fellow Rustaceans! 🦀