Researching proof systems, confidential computation and high-integrity blockchain infrastructure.
I publish source-grounded technical paths that make protocol architecture, trust assumptions and failure modes easier to review. The work is documentary: every security limit is explicit, and no audit or production-readiness claim is implied.
Le parcours documentaire français rassemble 67 chapitres sur les preuves ZK, la FHE, Base, HyperEVM et Hyperliquid. Consulter le sommaire pour suivre les contributions dans l’ordre.
- Zero knowledge: STARK execution and transcripts, universal-setup SNARKs and verifier assumptions.
- Confidential computing: FHE compilation, noise budgets and trusted boundaries.
- Base: OP Stack enclaves, agent security, data provenance and transaction approval.
- Hyperliquid / HyperEVM: signing, state reconciliation, block import and oracle integrity.
- STWO — Circle STARK, AIR, FRI and transcript review.
- Marlin — universal SRS, AHP and SNARK verification.
- Concrete — FHE compilation, noise propagation and trust boundaries.
- OP Enclave — Nitro attestation and OP Stack derivation.
- Base Agent — tool-data provenance, session security, least privilege and explicit transaction approval.
- Hyperliquid Rust SDK — signing, order lifecycle and reconciliation.
- HyperEVM Block Importer — replay, idempotence and state integrity.
- HyperEVM Oracle — source timestamps, Chainlink-interface semantics, keepers, EMA and defensive consumption.
Each path follows the repository source and separates observed behavior from inference. Important mechanisms receive their own chapter and commit so readers can review the reasoning incrementally. No dependencies are installed and no tests or deployments are claimed for these documentary contributions.