Skip to content

Commit 86f9e08

Browse files
inaciovasquez2020inaciovasquez2020
committed
cert: add minisign signatures for Chronos constants
1 parent 4b02f95 commit 86f9e08

2 files changed

Lines changed: 8 additions & 0 deletions

File tree

‎Chronos/Cert/ChronosDepthConstants.lean.minisig‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
untrusted comment: signature from minisign secret key
2+
RUSI8G7kzXgUfGDVRp1s3RKwRglopn6q3wrovDnP9r1HDLO5E6Q+pY9QjWhEFqns6XyNbtqmzzetP0xj+zFLrGX4mK38NXDzdwU=
3+
trusted comment: timestamp:1771946056 file:ChronosDepthConstants.lean hashed
4+
50eg3UebGAresv4iY6npbKl8vmrGe/Qg4Lf883bR9uc+HQXpvdnEfR/bN5FLcUapCQJ+efYsdjyRFF0VnxRRAw==

‎chronos_constants.json.minisig‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
untrusted comment: signature from minisign secret key
2+
RUSI8G7kzXgUfMGX6BwyGhINa2TV6NdOLkNUW3TGRvjIECGXKAlYi+r6Oulzdl9RARAzeNwaj5ncoFeXV7Ov2H9PkT5yg/GfRww=
3+
trusted comment: timestamp:1771946049 file:chronos_constants.json hashed
4+
lBQJ6La4Mhtv1wVWnhd65dnfNDN6fMwrx1pyiJ7zu66ouBZU8B6caVoLbo5J6hVzBB0KyMMaGHJ3iCaLWIulDg==

0 commit comments

Comments
 (0)