Building a ZKP system from scratch in Rust

Luis Soares

07 Nov 2024 — 1 min read

New to zero-knowledge proofs? This is part of my ZK Proof First Steps series, where we’re building a ZKP system from scratch in Rust! 🚀

In today's video, we dive into creating circuits, constraint systems, and generating proofs for real applications like Merkle trees—all from the ground up.

Perfect for developers eager to understand and apply ZKPs in cryptography and blockchain.

📺 Watch today’s video here: https://youtu.be/o-6OYAKgR9M

Missed the first one?

Catch up here: https://www.youtube.com/watch?v=ZuwUFN7m4AY

🔗 Follow along with the code on GitHub: https://github.com/luishsr/zk-mini

Dynamic Linking and Memory Relocations in Rust

When you compile source code into object files (such as .o files), the compiler generates machine code along with metadata that indicates how different parts of the code should be adjusted when the program is loaded into memory. These adjustments are known as relocations. They ensure that references to functions

Building an Error Correction System in Rust

Error correction is a key component of communication and data storage systems. Techniques like Reed-Solomon error correction ensure data reliability even when some data is lost or corrupted. This article delves into implementing an error correction system in Rust without using external libraries, focusing on Galois Field arithmetic and parity

Rust Lifetimes Made Simple

🦀 Rust lifetimes are one of the language’s most powerful and intimidating features. They exist to ensure that references are valid for as long as they’re needed, preventing dangling pointers and other memory safety issues. This guide will explain Rust lifetimes in depth, with a focus on hands-on code

Rust: From Simple Functions to Advanced Abstractions

While many tutorials introduce isolated features, this article takes a holistic, practical approach: we’ll start with a simple example and iteratively enhance it to explore Rust’s powerful constructs. By the end, you’ll clearly understand Rust’s core principles, from basic syntax to advanced abstractions like traits, lifetimes,

Read more

Dynamic Linking and Memory Relocations in Rust

Building an Error Correction System in Rust

Rust Lifetimes Made Simple

Rust: From Simple Functions to Advanced Abstractions