Julius Tranquilli

Rust engineer building trustless IBC interoperability between Cardano and Cosmos.

GitHub

Education

McGill University, Bachelors Computer science.

Talks

Speaker at Builderfest 2026 in Buenos Aires on trust-minimized IBC interoperability.

Watch the talk

Selected Work

Open-source repositories focused on trustless infrastructure and market tooling.

cardano-ibc-incubator

Trustless interoperability workstream for Cardano and Cosmos. Role: lead engineer and protocol integrator. Stack: Rust, Cardano, Cosmos, IBC.

Case study Code

polyfill-rs

Polymarket Rust client with 200+ GitHub stars. Role: builder and maintainer. Stack: Rust, APIs, trading infrastructure.

Case study Code

Engineering Consulting

Consulting builds for applied web, fintech, growth, and product infrastructure.

  • emailchaser.com: outbound email growth and automation consulting.
  • remitx.io: cross-border payments and remittance product strategy.
  • namangupta.xyz: portfolio site for a photography business.
  • a2conception.com: site for a Rio de Janeiro-based design and conception business.

Consulting work

Research

Formal models and verification for concentrated-liquidity AMMs.

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs

Julius Tranquilli with Dr. Naman Gupta. arXiv:2512.06203. December 5, 2025.

Paper page arXiv