GitHub repository: lambdaclass/ZeroSync
Primary language: Cairo
Description: A STARK proof to sync a Bitcoin full node in an instant.