Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)

Transparency Service REST API

Confidential Consortium Framework

Draft of CCF VDS profile

A repository to define IETF RATS Concise Reference Integrity Manifest (CoRIM) Data Format Standard for supplying Reference Values and Endorsed Values

A C++ interpreter for the OPA policy language Rego

CoseSignTool is a platform-agnostic command line application to COSE sign files and validate COSE signatures. CoseHandler is a library of functions for COSE signing and validation for use by .NET a…

A Python Implementation of HPKE (Hybrid Public Key Encryption)

An XML2RFC (RFC799x) backend for Thomas Leitner's kramdown markdown parser

A CCF-based, attested DNS server

An Architecture for Trustworthy Digital Supply Chain Transparency Services

A Python implementation of CWT/COSE.

Signed Hashes with COSE

COSE Receipts for MMR based transparency ledgers

Specifies the CBOR encoding and handling for merkle mountain range proofs

Datatrails SCITT API Samples

A term rewriting system for experimental programming language development.

A Profile of the CoMETRE Proof Structure for the Confidential Consortium Framework (CCF) and Corresponding Tree Algorithm

Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.

This is a workaround for the 8649 issue on github actions.

A template for IETF internet draft git repositories

SCITT Website content

Template repository for CCF apps

A C++, header-only DID:x509 resolver

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.