Thomas Fossati

`.and` operator not fully supported?

1

I have this CDDL snippet: ```cddl m = non-empty "zero" }> non-empty = (M) .and ({ + any => any }) ``` which produces this error: ```bash > docker run...

Measurements encoding clarifications

10

https://www.ietf.org/archive/id/draft-ietf-rats-eat-25.html#section-4.2.16 should have something like this to make sure the right encoding is picked up: ``` $fmt-cbor = bstr .cbor $FMT $fmt-json = tstr .json $FMT ``` ### EAT CBOR...

AS: accessing configuration from verifiers

3

I would like to use the AS configuration file to describe the parameters for my verifier. Something like: ```json { "//": "global AS config" "work_dir": "...", "//": "per-verifier stanzas" "verifiers":...

RVPS limitations

6

Today I started reviewing the RVPS implementation and have a few observations that I wanted to share. ## Semantic squashing Whilst I get the ethos behind the choice of a...