OH:"簡潔的證明系統不是密碼學,它們是系統設計"