Luis SoaresinCoinmonksIntroduction to Provable Smart ContractsProvable smart contracts use cryptographic techniques to verify that computations done outside the blockchain are correct. This means that…4d ago4d ago
Luis SoaresinCoinmonksImplementing an Arithmetic Circuit Compiler in RustImplementing an arithmetic circuit compiler in Rust involves creating a system that can parse a polynomial expression, construct an…4d ago4d ago
Luis SoaresinCoinmonksUnderstanding Zero-Knowledge Proofs: Encoding Programs into zk-SNARKsWhat are Zero-Knowledge Proofs?5d ago5d ago
Luis SoaresinDev GeniusImplementing Zero Knowledge Multi-Party Computation in RustIn this tutorial, we explore the foundational concepts and practical implementation of a simplified zk-rollup-like system in Rust! 🦀Apr 10Apr 10
Luis SoaresinDev GeniusRust Traits: from Zero to HeroWho’s never stumbled upon the tricky “the (…) trait bound is not satisfied” when coding in Rust? We have all been there!Feb 204Feb 204
Luis SoaresinDev GeniusImplementing a Distributed State Machine in RustIn this guide, we’ll walk through the creation of a simplified distributed state machine using Rust. 🦀Feb 134Feb 134
Luis SoaresinDev GeniusImplementing a Virtual DOM in RustIn this article, we explore the implementation of a basic virtual DOM for parsing and rendering HTML elements using Rust.Feb 71Feb 71
Luis SoaresinDev GeniusMemory-Mapped I/O in RustMemory-mapped I/O is especially helpful when working with big files, loading only the necessary parts into memory. This makes it simpler to…Feb 62Feb 62
Luis SoaresinDev GeniusRaft Cluster in RustIn today’s article, we will explore how to implement a basic Raft-based consensus system in Rust. 🦀Feb 4Feb 4