Chains that have or plan to integrate
@StarkWareLtd technology:
-
@ethereum: Lean Ethereum utilises recursive STARK aggregation of validator signatures.
-
@AbstractChain: STARK proofs of blocks (Boojum/Airbender), SNARK-wrapped for verification on Ethereum.
-
@0xMiden: STARK proofs for blocks for its rollup.
-
@zksync: STARK proofs of blocks (Boojum/Airbender), SNARK-wrapped for verification on Ethereum.
-
@ZeroSync_: STARK proofs of Bitcoin's header chain for light clients.
-
@Scroll_ZKP: OpenVM STARK proofs of blocks, SNARK-wrapped for verification on Ethereum.
-
@karnotxyz: STARK proving for the Madara appchains it hosts.
-
@paradex: STARK proofs of appchain state transitions, verified on Ethereum via SHARP.
-
@Sophon: STARK proofs of blocks (Boojum/Airbender), SNARK-wrapped for verification on Ethereum.
-
@citrea_xyz: RISC Zero STARK proofs of zkEVM batches, Groth16-wrapped and inscribed on Bitcoin.
-
@grvt_io: STARK proofs of blocks (Boojum/Airbender), SNARK-wrapped for verification on Ethereum.
-
@LC: STARK proofs of blocks (Boojum/Airbender), SNARK-wrapped for verification on Ethereum.
-
@RiscZero: STARK zkVM proofs, Groth16-wrapped for on-chain verification.
-
@BoundlessHQ: STARK proofs generated in RISC Zero's proving marketplace.
-
@taikoxyz: RISC Zero STARK block proofs as one prover in its multi-proof design.
-
@GOATNetwork Network: Ziren STARK proofs of state transitions and bridge security.
We do not have crypto as we know it Today without
@EliBenSasson &
@StarkWareLtd.