X @Starknet (BTCFi arc)

RT Ohad Barta (@OhadBarta)Today, when talking with a really-smart-and-amazing ecosystem player, I realized that SHARP architecutre suffers from gap of understanding. Not as mathematically sofisticated as the prover itself. Not as user facing as Starknet. Still, SHARP is the amazing and complicated beast that invokes the prover, get proofs, aggregates them, and make Starknet the most efficient on-chain rollup.So it deserves a deep dive. I'll start by answering the question of: "what happens when a Starknet b ...