The researchers argue that ColliderVM could allow the use of Scalable Transparent Arguments of Knowledge (STARKs) — a type of zero-knowledge proof — on Bitcoin without requiring consensus ...