Ink, the Ethereum L2 incubated by Kraken, works with Optimism to push the bar forward on permissionless fault proofs