This repository showcases a Proof of Concept (POC) demonstrating the use of halo2 for validating regular expression (regex) matching processes. By transforming regex into Deterministic Finite Automata (DFA) using the regex_automata crate, this project demonstrates an innovative approach to regex matching verification.
This crate is WIP, and has some limitations:
- Support only ASCII code
Unanchoredmode only- Only support full text matching
- rustc (only tested in latest nightly version)
- Clone the repository
git clone https://github.com/alannotnerd/zkregex- Navigate to the project directory
cd zkregex- Build the project
cargo run --releaseNote: This runs with MockProver which doen't create a real proof.