Results

Here are some short notes on results from, e.g. the research workshop.

The 2024 research workshop was hosted on August 3-4, 2024 in Palo Alto, with the support of 0xPARC, the Ethereum Foundation, and the Stanford Center for Blockchain Research.

• Counterexample to a proximity gap conjecture [Research Workshop 2024], a solution to this problem).
• Algorithm for testing a system of polynomials for roots over $\mathbb F_p$ [Research Workshop 2024], from this problem.
• Range-check algorithm assuming public y with verifier precompute [Research Workshop 2024], giving one approach to range-check problem.
• Range-check algorithm with interactivity [Research Workshop 2024], giving one approach to range-check problem.