Kyle Bryant

Just a web3 engineer, lot's of love for Ethereum.

[Kyle Bryant @komodoman]

@ETH_Daily I have a prototype of this running on Sepolia
https://t.co/Cxx6mDatVP

[Kyle Bryant @komodoman]

Best breakdown of this I've seen. You ended up exactly where I did: the math is the easy part, and clearing the leverage leg is the whole problem.

I actually shipped it on Sepolia. Gimbal is options-not-debt running live on Sepolia as an auto-rolling wrapper. Backed only by ETH, the two legs always sum to 1 ETH, the core invariants are checked in Halmos, and it's all open source.

Where I'd push back a little: you frame it as needing an options exchange, but the roll is just one-sided market making. That can be a permissionless on-chain auction baked into the asset itself. Maybe the venue is the asset.

Still, depth for the leverage leg is the real frontier, and that's where all my time has gone.

https://t.co/RPyEaA85zx
https://t.co/5pf14TWNoE

[Kyle Bryant @komodoman]

Would really appreciate anyone that can send a good amount of Sepolia eth to this address for dapp building and testing!
0x3684abb8e19F1b00A91d8f1Bf7189B3bCA2af78A

[Kyle Bryant @komodoman]

@CryptoTice_ I have a demo of it up and running - https://t.co/Cn9AzJHgdH

[Kyle Bryant @komodoman]

@VitalikButerin Here's a prototype I built with fable over the past two days:
https://t.co/YIw4Eh6JuR
https://t.co/0biTShKNFb

[Kyle Bryant @komodoman]

11/
And the big one: UNAUDITED. Testnet only. Bring curiosity, not money — break it and tell us.
Design: "index-tracking assets on top of options instead of debt" —https://t.co/ijDLZzhSEN by Vitalik Buterin, with refinements from the thread built in.

[Kyle Bryant @komodoman]

Gimbal is live on Sepolia testnet → https://t.co/YIw4Eh6JuR

Soft peg any asset, backed by nothing but ETH in a system with no liquidations, because there is no debt to liquidate.

Built from a Vitalik research post. Every line written by AI. Honest details 🧵

[Kyle Bryant @komodoman]

12/
⏳ Still proving (solvers running as I post): the remaining monotonicity region, the peg-value cap, and the headline no-bad-debt redemption theorem. Zero counterexamples in 13+ hours of symbolic search; 128,000-call randomized invariant campaigns all pass.

[Kyle Bryant @komodoman]

I was never very good at twitter/x, but...

[Kyle Bryant @komodoman]

@avsa There are a lot of these types of brutal warehouse jobs where it’s not a bottleneck, and making special purpose tech is more expensive than just paying some dude minimum wage to go through the same motions for 8+ hours a day. A general purpose robot fits great here