Pav: a formally verified Key Transparency system

WIP proof in the proof/ directory.

More details to come...

Name		Name	Last commit message	Last commit date
Latest commit History 1,383 Commits
.github		.github
advrpc		advrpc
alicebob		alicebob
auditor		auditor
benchutil		benchutil
client		client
cryptoffi		cryptoffi
cryptoutil		cryptoutil
hashchain		hashchain
ktcore		ktcore
merkle		merkle
netffi		netffi
proof		proof
safemarshal		safemarshal
serde		serde
server		server
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
go.mod		go.mod
go.sum		go.sum
goose.toml		goose.toml
justfile		justfile

Navigation Menu