tlv

var Any = tlv(AnyType, empty)

Any ::= ANY-TYPE TLV-LENGTH(=0)

var Byte = parserFunc(func(input []byte) (interface{}, []byte, error) {
	if len(input) <= 0 {
		return nil, input, io.ErrUnexpectedEOF
	}
	return input[0], input[1:], nil
})

var Bytes bytesParserType = func(n int) parser {
	return bytesWithLengthParser(n)
}

var ChildSelector = tlv(ChildSelectorType, nonNegativeInteger)

ChildSelector ::= CHILD-SELECTOR-TYPE TLV-LENGTH

nonNegativeInteger

var Content = tlv(ContentType, Bytes)

Content ::= CONTENT-TYPE TLV-LENGTH BYTE*

var ContentTypeParser = tlv(ContentTypeType, nonNegativeInteger)

ContentType ::= CONTENT-TYPE-TYPE TLV-LENGTH

nonNegativeInteger

var Data = tlv(DataType,
	Name,
	MetaInfo,
	Content,
	Signature,
)

Data ::= DATA-TLV TLV-LENGTH

Name
MetaInfo
Content
Signature

var DigestSha256SignatureInfo = tlv(SignatureInfoType,
	tlv(SignatureTypeType, exactly(0)),
)

SignatureInfo ::= SIGNATURE-INFO-TYPE TLV-LENGTH(=3)

SIGNATURE-TYPE-TYPE TLV-LENGTH(=1) 0

var DigestSha256SignatureValue = tlv(SignatureValueType,
	Bytes(32),
)

SignatureValue ::= SIGNATURE-VALUE-TYPE TLV-LENGTH(=32)

BYTE+(=SHA256{Name, MetaInfo, Content, SignatureInfo})

var ErrUnexpectexUintTLVLengthValue = errors.New("Unexpected UintTLV length value")

var Exclude = tlv(ExcludeType, maybe(Any), oneOrMore(NameComponent, maybe(Any)))

Exclude ::= EXCLUDE-TYPE TLV-LENGTH Any? (NameComponent (Any)?)+

var FinalBlockID = tlv(FinalBlockIdType, NameComponent)

FinalBlockId ::= FINAL-BLOCK-ID-TLV TLV-LENGTH

NameComponent

var FreshnessPeriod = tlv(FreshnessPeriodType, nonNegativeInteger)

FreshnessPeriod ::= FRESHNESS-PERIOD-TLV TLV-LENGTH

nonNegativeInteger

var GenericNameComponent = tlv(NameComponentType, Bytes)

GenericNameComponent ::= NAME-COMPONENT-TYPE TLV-LENGTH BYTE*

var ImplicitSha256DigestComponent = tlv(ImplicitSha256DigestComponentType, Bytes(32))

ImplicitSha256DigestComponent ::= IMPLICIT-SHA256-DIGEST-COMPONENT-TYPE TLV-LENGTH(=32)

BYTE{32}

var Interest = tlv(InterestType,
	Name,
	maybe(Selectors),
	Nonce,
	maybe(Scope),
	maybe(InterestLifetime),
)

Interest ::= INTEREST-TYPE TLV-LENGTH

Name
Selectors?
Nonce
Scope?
InterestLifetime?

var InterestLifetime = tlv(InterestLifetimeType, nonNegativeInteger)

InterestLifetime ::= INTEREST-LIFETIME-TYPE TLV-LENGTH nonNegativeInteger

var KeyDigest = tlv(KeyDigestType, Bytes)

KeyDigest ::= KEY-DIGEST-TYPE TLV-LENGTH BYTE+

var KeyLocator = tlv(KeyLocatorType, or(Name, KeyDigest))

KeyLocator ::= KEY-LOCATOR-TYPE TLV-LENGTH (Name | KeyDigest)

var MaxSuffixComponents = tlv(MaxSuffixComponentsType, nonNegativeInteger)

MaxSuffixComponents ::= MAX-SUFFIX-COMPONENTS-TYPE TLV-LENGTH

nonNegativeInteger

var MetaInfo = tlv(MetaInfoType,
	maybe(ContentTypeParser),
	maybe(FreshnessPeriod),
	maybe(FinalBlockID),
)

MetaInfo ::= META-INFO-TYPE TLV-LENGTH

ContentType?
FreshnessPeriod?
FinalBlockId?

var MinSuffixComponents = tlv(MinSuffixComponentsType, nonNegativeInteger)

MinSuffixComponents ::= MIN-SUFFIX-COMPONENTS-TYPE TLV-LENGTH

nonNegativeInteger

var MustBeFresh = tlv(MustBeFreshType, empty)

MustBeFresh ::= MUST-BE-FRESH-TYPE TLV-LENGTH(=0)

var Name = tlv(NameType, zeroOrMore(NameComponent))

Name ::= NAME-TYPE TLV-LENGTH NameComponent*

var NameComponent = or(GenericNameComponent, ImplicitSha256DigestComponent)

NameComponent ::= GenericNameComponent | ImplicitSha256DigestComponent

var Nonce = tlv(NonceType, Bytes(4))

Nonce ::= NONCE-TYPE TLV-LENGTH(=4) BYTE{4}

var PublisherPublicKeyLocator = KeyLocator

PublisherPublicKeyLocator ::= KeyLocator

var Scope = tlv(ScopeType, nonNegativeInteger)

Scope ::= SCOPE-TYPE TLV-LENGTH nonNegativeInteger

var Selectors = tlv(SelectorsType,
	maybe(MinSuffixComponents),
	maybe(MaxSuffixComponents),
	maybe(PublisherPublicKeyLocator),
	maybe(Exclude),
	maybe(ChildSelector),
	maybe(MustBeFresh),
)

Selectors ::= SELECTORS-TYPE TLV-LENGTH

MinSuffixComponents?
MaxSuffixComponents?
PublisherPublicKeyLocator?
Exclude?
ChildSelector?
MustBeFresh?

var Signature = or(
	seq(DigestSha256SignatureInfo, DigestSha256SignatureValue),
	seq(SignatureSha256WithRsaInfo, SignatureSha256WithRsaValue),
	seq(SignatureSha256WithEcdsaInfo, SignatureSha256WithEcdsaValue),
)

SignatureValue ::= SIGNATURE-VALUE-TYPE TLV-LENGTH

... (SignatureType-specific TLVs and
BYTE+

var SignatureSha256WithEcdsaInfo = tlv(SignatureInfoType,
	tlv(SignatureTypeType, exactly(3)),
	KeyLocator,
)

SignatureInfo ::= SIGNATURE-INFO-TYPE TLV-LENGTH

SIGNATURE-TYPE-TYPE TLV-LENGTH(=1) 3
KeyLocator

var SignatureSha256WithEcdsaValue = tlv(SignatureValueType,
	Bytes,
)

SignatureValue ::= SIGNATURE-VALUE-TYPE TLV-LENGTH

BYTE+(=ECDSA over SHA256{Name, MetaInfo, Content, SignatureInfo})

var SignatureSha256WithRsaInfo = tlv(SignatureInfoType,
	tlv(SignatureTypeType, exactly(1)),
	KeyLocator,
)

SignatureInfo ::= SIGNATURE-INFO-TYPE TLV-LENGTH

SIGNATURE-TYPE-TYPE TLV-LENGTH(=1) 1
KeyLocator

var SignatureSha256WithRsaValue = tlv(SignatureValueType,
	Bytes,
)

SignatureValue ::= SIGNATURE-VALUE-TYPE TLV-LENGTH

BYTE+(=RSA over SHA256{Name, MetaInfo, Content, SignatureInfo})

var SignatureType = tlv(SignatureTypeType, nonNegativeInteger)

SignatureType ::= SIGNATURE-TYPE-TYPE TLV-LENGTH

nonNegativeInteger