Mayckon Giovani

Rust, Python and Go, building blockchain protocols and distributed systems. Strong focus on cryptography, formal methods, protocol engineering, and security-critical high-performance infrastructure.

Advancing post-quantum cryptography, formal verification, and distributed systems. Working with Rust, zero-knowledge proofs, protocol design, and building quantum-resilient infrastructure.

Building post-quantum cryptographic infrastructure, blockchain protocols, IIoT platforms, and high-performance distributed systems for security-critical and quantum-resilient environments.

Open to collaborations on blockchain infrastructure, post-quantum cryptography, distributed systems, IIoT, and security-critical backends.