Prost Validate

This is a Rust implementation of protoc-gen-validate.

It must be used with prost generated code.

All validation rules are documented in the proto file or in the protoc-gen-validate documentation.

It provides two implementations:

• A derive based implementation in the prost-validate crate.
• A reflection based implementation in the prost-reflect-validate crate.

Here are the benchmarks for the tests suite of the two implementations:

prost-reflect-validate:

harness reflect         time:   [14.849 ms 15.128 ms 15.459 ms]

prost-validate:

harness derive          time:   [2.5635 ms 2.5780 ms 2.5967 ms]

Constraint Rule Comparison

Global

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | disabled | ✅ | ✅ |

Numerics

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | const | ✅ | ✅ | | lt/lte/gt/gte | ✅ | ✅ | | in/not_in | ✅ | ✅ |

Bools

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | const | ✅ | ✅ |

Strings

| Constraint Rule | Derive | Reflect | |------------------------|:------:|:-------:| | const | ✅ | ✅ | | len/min\len/maxlen | ✅ | ✅ | | min\bytes/max\bytes | ✅ | ✅ | | pattern | ✅ | ✅ | | prefix/suffix/contains | ✅ | ✅ | | contains/not_contains | ✅ | ✅ | | in/not_in | ✅ | ✅ | | email | ✅ | ✅ | | hostname | ✅ | ✅ | | address | ✅ | ✅ | | ip | ✅ | ✅ | | ipv4 | ✅ | ✅ | | ipv6 | ✅ | ✅ | | uri | ✅ | ✅ | | uri_ref | ✅ | ✅ | | uuid | ✅ | ✅ | | wellknownregex | ✅ | ✅ |

Bytes

| Constraint Rule | Derive | Reflect | |------------------------|:------:|:-------:| | const | ✅ | ✅ | | len/min\len/maxlen | ✅ | ✅ | | pattern | ✅ | ✅ | | prefix/suffix/contains | ✅ | ✅ | | in/not_in | ✅ | ✅ | | ip | ✅ | ✅ | | ipv4 | ✅ | ✅ | | ipv6 | ✅ | ✅ |

Enums

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | const | ✅ | ✅ | | defined_only | ✅ | ✅ | | in/not_in | ✅ | ✅ |

Messages

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | skip | ✅ | ✅ | | required | ✅ | ✅ |

Repeated

| Constraint Rule | Derive | Reflect | |----------------------|:------:|:-------:| | min\items/maxitems | ✅ | ✅ | | unique | ✅ | ✅ | | items | ✅ | ✅ |

Maps

| Constraint Rule | Derive | Reflect | |----------------------|:------:|:-------:| | min\pairs/maxpairs | ✅ | ✅ | | no_sparse | ❓ | ❓ | | keys | ✅ | ✅ | | values | ✅ | ✅ |

OneOf

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | required | ✅ | ✅ |

WKT Scalar Value Wrappers

| Constraint Rule | Derive | Reflect | |--------------------|:------:|:-------:| | wrapper validation | ✅ | ✅ |

WKT Any

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | required | ✅ | ✅ | | in/not_in | ✅ | ✅ |

WKT Duration

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | required | ✅ | ✅ | | const | ✅ | ✅ | | lt/lte/gt/gte | ✅ | ✅ | | in/not_in | ✅ | ✅ |

WKT Timestamp

| Constraint Rule | Derive | Reflect | |-----------------|:------:|:-------:| | required | ✅ | ✅ | | const | ✅ | ✅ | | lt/lte/gt/gte | ✅ | ✅ | | ltnow/gtnow | ✅ | ✅ | | within | ✅ | ✅ |