Building from first principles
Understanding the ideas behind a system by implementing them and working through the details.
// SOFTWARE ENGINEER
STILL.
LOADING.
I’m Youssef. Professional rabbit hole explorer.
I build software from first principles and investigate how systems work.
NO CHECKPOINTS REQUIRED. THE WORK IS RIGHT BELOW.
DON'T TAP THE CORE
01 / THE MISSION SELECT
SELECTED WORK.
Implementations, security reviews,
and open-source contributions.
MISSION 01CONTRIBUTION
POST-QUANTUM / SECURITY
LeanVM
Security review of LeanVM, including identifying a soundness gap in its execution table.
MISSION 02IMPLEMENTATION
INTERACTIVE PROOFS / SAGEMATH
SumCheck
An independent, full implementation of the SumCheck protocol in SageMath.
MISSION 03IMPLEMENTATION
PROVING SYSTEMS / PYTHON
Bulletproofs
Core components in Python, focused on inner-product arguments and polynomial commitments.
02 / PLAYER PROFILE
BEHIND
THE CODE.
Youssef
Software engineer
CLICK SHADOW TO RUN →
I’m a Computer Science student broadening my work across software engineering.
My strongest work is in applied cryptography. I’ve implemented protocols, built circuits, and found gaps in proof systems.
I’m comfortable working through the mathematics, writing the implementation, and finding where the implementation departs from the mathematics.
ENGINEERING INTERESTS
Testing assumptions
Tracing how software behaves, finding where it breaks, and making the results easier to understand.
LOADOUT / LANGUAGES & TOOLS
RustPythonSolidityCircomSageMathGo
EXPERIENCE LOG
Networks & ERP Systems Intern
Contact
Web Development Intern
Arabian Academy
03 / MILESTONES
ON THE RECORD.
Security findings and
open-source contributions.
RadCipher contests
Two second-place finishes, plus a third-place finish in March–April 2026 security contests.
Contest platformBLAKE3 prover throughput
Contributed to Flock prover optimizations reaching 1,085,478 compressions/sec across 262,144 compressions per proof, with a 428.8 KiB proof.
Solver profileCircom security checklist
Contributed to Zippel Labs’ checklist covering circuit vulnerabilities, constraint soundness, and overflow risks.
Explore the checklist04 / TRANSMISSIONS
THINKING OUT LOUD.
05 / NEXT LEVEL
Reach out?
CLICK SHADOW TO RUN →