vest_lib
vest_lib is Vest's parser and serializer combinator library verified in
Verus. It provides formal format
specifications, executable Rust implementations, and compositional correctness
and security proofs.
Use this crate directly when implementing a reusable format combinator or a complex format primitive. Most formats can be expressed more concisely using Vest DSL or the ASN.1 frontend.
The default feature is std. For smaller environments, select alloc alone or
disable default features for the core-only library:
[]
= { = "0.2", = false, = ["alloc"] }
See the Vest guide's
feature configurations
for feature dependencies and no_std usage.
Use the Verus and vstd versions pinned by the corresponding Vest release.