zk-rollup
(2)
Alpen Labs
Alpen Labs is a Bitcoin infrastructure company building Strata, a zero-knowledge (ZK) validity rollup and bridge that lets people borrow, earn, and transact in dollars directly on Bitcoin - without wrapped tokens or custodians. Founded in 2022 by a team of MIT alumni, the company uses ZK cryptography to bring programmable smart contracts and DeFi-style financial products to Bitcoin while preserving its security and decentralization.
Succinct
Succinct is a San Francisco cryptography company building SP1, an open-source zero-knowledge virtual machine that lets developers prove the correct execution of any Rust program, and the Succinct Prover Network - a decentralized marketplace where independent provers compete to generate ZK proofs for rollups, bridges and onchain applications.