Proving 1,000 Values in Less Than a Second: A Practical Study