Overview
What this challenge is about.
Implement a simplified PoS consensus in Rust with slashing and a 1,000-epoch simulator, then prove safety and liveness. You earn a verifiable certificate.
The scenario
The foundation publishes its reference implementations under MIT license; the educational use case demands code clarity over production performance.
The Brief
What you'll do, and what you'll demonstrate.
Implement Casper-FFG-style PoS consensus in Rust, simulate it on a 21-validator network, and demonstrate safety + liveness under partition and equivocation.
Earning criteria — what you'll demonstrate
- Implement a non-trivial consensus algorithm from the original paper
- Reason about safety + liveness under realistic failure modes
- Build a deterministic simulator for protocol research
- Communicate consensus properties in a paper-quality writeup
Program Fit
Where this fits in your program.
Sharpens the same skills your degree expects you to demonstrate.
Blockchain and Decentralized Systems Engineering
Master · Software Engineering
Strong alignment
This challenge maps to Blockchain and Decentralized Systems Engineering at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Skills
Skills you'll demonstrate.
Each one shows up on your verified credential.
- Consensus Algorithms
Apply consensus algorithms to solve real industry problems and demonstrate production-level capability.
- Blockchain Protocols
Apply blockchain protocols to solve real industry problems and demonstrate production-level capability.
- Rust
Apply rust to solve real industry problems and demonstrate production-level capability.
- Distributed Systems
Apply distributed systems to solve real industry problems and demonstrate production-level capability.
- Protocol Design
Apply protocol design to solve real industry problems and demonstrate production-level capability.
- Documentation
Apply documentation to solve real industry problems and demonstrate production-level capability.
Careers
Career paths this challenge builds toward
Completing this challenge demonstrates skills that transfer directly to these roles: