Pinned post
rymnc
Verified account This account is verified. Learn more@_rymnc
advancing confidential systems for institutional ethereum @eth_systems
prev: @ethereumfndn @fuel_network @logos_network @hiFramework
prev: @ethereumfndn @fuel_network @logos_network @hiFramework
505 Following 901 Followers 682 Posts
Latest posts 5
quintessential mumbai things :)
The engineer who spent years working in and around Ethereum, is explaining it with Mumbai’s dabbawalas.
@_rymnc, Director of Engineering at @eth_systems, was part of the Ethereum Foundation’s Institutional Privacy Task Force before the team spun out as EthSystems this year.
He’s taking the stage on The Lid Leaks: what Mumbai’s dabbawalas teach us about private finance. A system the whole city trusts, used to explain what privacy on Ethereum needs to get right.
4 Nov · Mumbai, inside DevconView quoted post on X
lots of things to talk about and not enough time!
looking forward to sharing our experiences
looking forward to sharing our experiences
Engineering Lead at EthSystems, @_rymnc will be presenting our open source work, as well as speaking about what we've learnt while working with institutions.
Meet us at @EFDevcon and @ETHIndiaco!View quoted post on X
⛳️ absolute hole-in-one by @oskarth
lots of nuances to formal verification! while it's easy to get a model to spit out thousands of lines of code, it all needs careful review. one would notice that getting proofs is the easy part, but making sure that the generated code abides by what you think the design should be isn't.
you still need someone who understands the business use-case deeply to be able to formally verify systems at this scale.
lots of nuances to formal verification! while it's easy to get a model to spit out thousands of lines of code, it all needs careful review. one would notice that getting proofs is the easy part, but making sure that the generated code abides by what you think the design should be isn't.
you still need someone who understands the business use-case deeply to be able to formally verify systems at this scale.
We pushed formal verification through our shielded pool, from the written spec down to the bytecode running on Sepolia.
Each layer got its own tool: Lean for the model, circuits and hash, Halmos and Kontrol for the contract, Aeneas and Verus for the wallet, and byte-for-byte rebuilds for the verifiers and the deployment.
What we proved, what we found and what we still assume, in the thread below.View quoted post on X
major props to @david__nunez, we've had this idea for several months and did a lot of research into existing deployments, their trust models to be able to deliver this piece of work.
Read the writeup!
Read the writeup!
Tokenized money market funds on Ethereum publish their shareholder books: every balance, every subscription and redemption.View quoted post on X
Our proof of concept hides positions from the public, while the fund's transfer agent still sees all of them.
How it works, and the links, below 👇🏻