Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Golang)

The Go implementation of Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data.

How to run and reproduce the benchmarks:

1. Clone this repo into a folder that ends with ./src/github.com/katydid/paper-2026-verified-filter-go
2. Clone https://github.com/katydid/paper-2026-verified-filter-testsuite into ./src/github.com/katydid/paper-2026-verified-filter-testsuite, where . is the same . in ./src/github.com/katydid/paper-2026-verified-filter-go, so relative to this folder it would be ../../../../src/github.com/katydid/paper-2026-verified-filter-testsuite.
3. Install Go version 1.24
4. Install protoc version 29.3 by downloading it from Protobuf releases and placing the protoc binary in your PATH.
5. Generate benchmarks by going to ./src/github.com/katydid/paper-2026-verified-filter-testsuite and running make regenerate-paper-benchmarks. This can take a few minutes.
6. Go to ./src/github.com/katydid/paper-2026-verified-filter-go and run make paper_benchmarks.

This repo was originally based on katydid/validator-go-proto.