~/panel

Fireside Chat

Panelat Pragma Buenos Aires 2025 · on Thursday, 2025-11-20· [software-architecture]
slides:none on file

Pi Squared builds a two-part stack: a proof of proof pipeline that turns program execution into a mathematical proof via the K framework and a settlement layer called FastSet that is a decentralized network (not a blockchain) that avoids global total order by having validators sign claims independently. Payments reach 150,000+ transactions per second on DevNet 2.0 (internal tests hit 250,000), supports pluggable languages (EVM, Java, Python), and falls back to consensus only for rare double-spend conflicts.

AI-written summary · about

  1. 0:00Pi Squared introduction
  2. 0:27What Pi Squared does
  3. 1:11Pi Squared’s two products
  4. 1:52FastSet not a blockchain
  5. 3:18Verifiable computing bottlenecks
  6. 6:06Double spending without order
  7. 9:37FastSet vs blockchains parallelism
  8. 13:10Plug-and-play languages in FastSet
  9. 14:16FastSet safety and verification
  10. 17:51FastSet performance metrics
  11. 19:57FastSet and Ethereum
  12. 20:42FastSet vs Ethereum
  13. 22:07Closing and Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.