halo2-zk-email/test_data/test1_email_body_defs.json

{
    "max_byte_size": 1024,
    "parts": [
        {
            "is_public": false,
            "regex_def": "email was meant for @",
            "max_size": 21
        },
        {
            "is_public": true,
            "regex_def": "(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|0|1|2|3|4|5|6|7|8|9|_)+",
            "max_size": 1024,
            "solidity": {
                "type": "String"
            }
        },
        {
            "is_public": false,
            "regex_def": ".",
            "max_size": 1
        },
        {
            "is_public": false,
            "regex_def": "(0|1|2|3|4|5|6|7|8|9|a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|!|\"|#|$|%|&|'|\\(|\\)|\\*|\\+|,|-|.|/|:|;|<|=|>|\\?|@|[|\\\\|]|^|_|`|{|\\||}|~| |\t|\n|\r|\\x0b|\\x0c)*",
            "max_size": 1024
        }
    ]
}