~/talks

Uma Roy

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 13 in the filters

who talks about the same things

titleconferencedate
Truth in a Post Truth WorldTOKEN2049 Singapore 20252025-10-01
Claims a production ZKVM called SP1 and a global GPU-backed prover network that issues proofs on demand, with a utility token paying provers and fees in the…
Talk on
Provers Networks from First PrinciplePragma Denver 20252025-02-25
Succinct Labs presents a decentralized SP1 ZK VM that runs normal Rust code into zero‑knowledge programs, coordinated by a Prover Network using a proof‑contest…
Talk on
Next Generation ZK Applications with SP1Pragma San Francisco 20242024-10-16
SP1 is a ZK virtual machine that compiles Rust to a RISC‑V ISA and generates proofs; the team claims it is the fastest ZKVM by an order of magnitude using a…
Talk on
RecapPragma Paris 20232023-07-20
Claims that Ethereum scales now using STARKs as primary validity proofs and rollups, with Polygon 2.0 as an interoperable rollup fabric built on Ethereum…
Promo on
Succinct DemoPragma Paris 20232023-07-20
Succinct presents a zero-knowledge light client protocol that verifies Ethereum consensus on other EVM chains for about 300K gas per update, running on mainnet…
Talk on
~/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.