Martin Ondejka

Distributed systems · Protocols

Martin Ondejka.

I build distributed systems and protocols in OCaml, Rust, and C++.

Founding engineer and CTO at Zeko. This is where I write about the systems I work on and the decisions behind them.

More about me

Writing

All writing

  • Moving Zeko to Ethereum

    Keeping Mina’s client-side zkApp model while moving settlement to Ethereum: faster Pickles verification in SP1, a Keccak–Poseidon bridge, and the design for blob data availability.

  • Scaling Mina by putting Mina inside a zkApp

    How we design Zeko to scale Mina with independent rollups, transaction SNARK reuse, sequencer auctions, and bridges for withdrawals and cross-shard transfers.

  • Bringing EVM dapps to Cardano wallets

    How I built Milkomeda’s wrapped smart contract layer: a browser provider, Cardano signature verification, and smart contract accounts that reimburse transaction relayers.