akd
akd copied to clipboard
An implementation of an auditable key directory
In general, this change improves the security properties that are supposed to be attained from a limited history proof. A (full) key history proof provides a list of all past...
Bumps [arduino/setup-protoc](https://github.com/arduino/setup-protoc) from 2.1.0 to 3.0.0. Release notes Sourced from arduino/setup-protoc's releases. v3.0.0 What's Changed Correct convetion typo in README by @nixpanic in arduino/setup-protoc#91 Bump @babel/traverse from 7.22.1 to 7.23.2...
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3 to 4. Release notes Sourced from codecov/codecov-action's releases. v4.0.0 v4 of the Codecov Action uses the CLI as the underlying upload. The CLI has helped to...
Stale versions of nodes do not need to be written. They can instead be substituted by checking if the next version has been written. We should (1) stop writing stale...
Based on https://doc.rust-lang.org/cargo/reference/features.html?highlight=additive#feature-unification We should replace our nostd feature to instead have an std feature that enables std.
We should add fixture generation for creating the lookup, history, and audit proofs so that if their format or logic changes, we can easily detect so. This also essentially allows...
This would be helpful in tests to assert expected database access patterns. For example, if unexpected reads or writes are performed. See: - https://github.com/facebook/akd/pull/328#issuecomment-1368307195 - https://github.com/facebook/akd/pull/331#issue-1517967955
If the lookup proof is for a version which is already a power of 2, then the existence proof and marker version proof will be identical. This means that we...