Matter smart home protocol implementation for OCaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Delete dead cbor helpers; Error on Ptime.max; best-of-N receipts; root in export

- Remove unused cbor_bytes/cbor_int/cbor_text (superseded by local
helpers in check_receipt_leaf).
- monotonic_now returns Error instead of duplicate timestamp when
Ptime.add_span overflows at Ptime.max.
- verify_receipts: skip failed trusted receipts (log warning) instead
of short-circuiting. Succeed if any trusted receipt verifies.
Matches the cross-signing documentation.
- Export includes root hash; import verifies it after replay. Detects
entry reordering or truncation.

-1
-1
matter.opam
··· 20 20 "kdf" {>= "0.1"} 21 21 "mdns" {>= "0.1"} 22 22 "spake2" {>= "0.1"} 23 - "crypto" 24 23 "cstruct" {>= "6.0"} 25 24 "ipaddr" {>= "5.0"} 26 25 "domain-name" {>= "0.4"}