GitHub - nextleap-project/verified-claimchain

Name		Name	Last commit message	Last commit date
Latest commit History 143 Commits
MerkleTree		MerkleTree
SkipList		SkipList
SkipList2		SkipList2
VRF		VRF
temp		temp
D4.2 - simulations federated identity - claimchain - Final.pdf		D4.2 - simulations federated identity - claimchain - Final.pdf
Spec.Claim.fst		Spec.Claim.fst
Spec.ClaimChain.fst		Spec.ClaimChain.fst
_temp		_temp
deliverable-ec-june_addedmt.pdf		deliverable-ec-june_addedmt.pdf
vrf-specification.pdf		vrf-specification.pdf