Rafael Belchior's starred repositories
talent-plan
open source training courses about distributed database and distributed systems
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
ideas-for-projects-people-would-use
Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.
merkletreejs
🌱 Construct Merkle Trees and verify proofs in JavaScript.
execution-specs
Specification for the Execution Layer. Tracking network upgrades.
zk-Harness
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
zk-languages
Introduction to various ZK languages
Blockchain-and-Cryptocurrency-Forensics
Blockchain & Cryptocurrency Forensics
ICBC24_Tutorial_Compute-Offchain-Verify-Onchain
Hands-on material for the tutorial "Compute Offchain, Verify Onchain: How to Build zk-DApps with Circom and ZoKrates" offered at ICBC24