user avatar
Remco
@recmo
🪩 World | Math & Engineering @ 2π.com
Earth
Joined October 2009
Posts
  • Pinned
    user avatar
    The future is agents writing proof carrying code directly. No dependencies. No kernel. Your personal operating system for your specific hardware with your specific functionality. All Ring0 flat rwx memory cause faster. Ubiquitous self modifying code. Stack is a vestigial
    Oh man oh man. I can’t be sure that this hyperbolic headline (“I have discovered programming’s final form”) *isn’t* true!
  • user avatar
    Meanwhile @coinbase filing regular 10Qs to the SEC, clearly separating custodial and company funds and a chunky cash reserve. Some rules are there because we learned them the hard way.
  • user avatar
    I wrote a short intro to approximation theory. 2π.com/22/approximati…
  • user avatar
    I'm thrilled about this, we are extending libp2p with WebRTC support and compilation to WebAssembly. You will be able to run a full node in a browser tab! No need to install software! FULL NODES IN THE BROWSER! This is something I've wanted since before the bitcoin whitepaper.
    Introducing 0x Mesh, a peer-to-peer communication network for the 0x ecosystem! 🌊💦 blog.0xproject.com/0x-roadmap-201…
  • user avatar
    Let's build free infinite flash loans straight into the token contracts and see what happens. Introducing FlashERC20!
  • user avatar
    I'm seeing too much discussion of theoretical ZKP performance and not enough about concrete performance. Lets compare 🍎≟🍏 and bench Polynomial Commitments! 2π.com/23/pc-bench
  • user avatar
    With EXP and LOG you can build a ton of useful functions, especially in finance (e.g. compound interest). Can be as cheap as 411 and 585 with some mathemagic! 2π.com/22/exp-ln
  • user avatar
    837,000,000,000,000 Dot Products in MPC. 52,882,698 World ID zkProofs Verified. 26,226 Merkle Tree zkRollup Proofs Verified. 93,116,233 User Transactions. 6,060,271 Verified Humans. 1 year. @worldnetwork
  • user avatar
    I wrote a TLDR on a number of signature schemes so I don't have to look them up again (or deal with exponent notation). 2π.com/22/signatures/
  • user avatar
    The private smart contract trilemma.
  • user avatar
    Skyscraper is 30x faster than Poseidon2 and comparable to the sha3 crate for Merkle trees. And this is a quick unoptimized implementation. Only assembly implementations optimized for short message batches are meaningfully faster. It's so good we even use it for PoW.
    With Skyscraper, we show for the first time how hashing over large primes can achieve the same native speed as hashing over small primes in the ZK setting. This leads to an improvement of more than 50x compared to Poseidon 🚀 Check out the paper at ia.cr/2025/058 #zk
  • user avatar
    I'm starting up a team in 0x around ZKP-based layer two DEX scalability. Job description here: boards.greenhouse.io/0x/jobs/420966…. If you are interested in working with us on this cool tech or know anyone appropriate, please reach out!
  • user avatar
    Groth16 is the most used and cheapest-to-verify-on-eth proof system. Here's my notes on the maths behind it: 2π.com/22/groth16
  • user avatar
    Knowledge transfer is by far the long-term highest impact thing you can do.
    Underrated benefit of working with @recmo is getting little nuggets of knowledge even after the PR is good to go ✨