Brave Unveils Coral, Their New System for Verifiable Parsing
In a new paper and accompanying blog post, Brave has unveiled Coral, “a system for proving in zero-knowledge that a committed byte stream corresponds to a structured object in accordance with a Context Free Grammar.”