Andrei Ivasko

Andrei Ivasko is a cryptography engineer working on an Ethereum client in Lean. Their work also involves Rust and zero-knowledge proofs, following earlier core development at Fantom.

1 talk by Andrei Ivasko

  • Beyond the Johnson Bound: A Path to Smaller Post-Quantum SNARKs