SP1: A performant, 100% open-source, contributor-friendly zkVM