HackerNoon Logo Sia Logo

Sia Storage Meta Data

File Information

Key: /verification-of-a-rust-implementation-of-knuths-dancing-links-using-acl2-related-work.html
Size: 10,865 bytes
MIME Type: text/html; charset=utf-8
Modified: 6/26/2025, 2:51:28 PM

Storage Details

Bucket: test
eTag: fa61f83c5bca5ab474627d9421429fb7
Health: Healthy (1.15)
Min Shards: 10

Storage Shards

30 Shards
Shard 1
Host
ed25519:117c7c201b8ccc8f87d45301ac50e38cffecb147b70e90238a852b18bc06bd79
Contract
c614e4f9c03bdcb4870056cfd3f381e85a8621aebcfdffcbdbb478d0d5816b63
Root Hash
ef90d82f891df8be140c1b6a63c0d91a2095c0fde2c12b1fe225e52a235d04cc
Shard 2
Host
ed25519:72e8ea2c2de3987608c360b574327c201ecbe34037dd47d51135370828650706
Contract
a40d26616686189852b08f65c95284ec9021a996eb4e4f721e8115287d04e159
Root Hash
1f34d7f46dd05925967d607d4032803a895946867ab332400120c5e7a298735c
Shard 3
Host
ed25519:7c9f8497908643330dd544bc199fc45fc7833d2f48499ecd995404448d2dcb30
Contract
cc3e516a6d8f7b2018a7c830e12d0ed7f3829c0efead537ceaa18309ad66f105
Root Hash
6d197e4c4deb5700d3804da085fe8d86925700d8332e65337aaf1f0febe5f899
Shard 4
Host
ed25519:f54367610e7917b51e9a731bba11f68a4570415e3518901d6e89c6912e1b2278
Contract
bb1d93efa37157d9d822bfa420f17686dfce81675f2131de33707299cf5c56f3
Root Hash
d395594b24f48cedae8cefdfb5d48829abcc3d928bdbea1c9d7e0059507b98bf
Shard 5
Host
ed25519:b28c0c36b9cdcad8f4c7951fe617409857f4b0d03ce2829a814ff9685056a2eb
Contract
9f0d375efbc103b09c3fba3ed133f852a7cde049521179ba442760a4356c4401
Root Hash
10cdca786ce1ecc585ebf089fa419539f3a6716c4e43b1632002a708c51613b9
Shard 6
Host
ed25519:cf8a860ac55d07d9881c0d6f43fe8b516512de4d6290379581646bc43df19efb
Contract
42cb65e059c7248b69a8793b8bc4836d198ff721aa388b5e7769f0642917bd09
Root Hash
0bc413730975eaf28ba607122c40b60c8646bbc73dc5efe9e58b81ef15e0e453
Shard 7
Host
ed25519:8ca44084492c110bf35941ee94a3b351e33a6ce329c3fc97bc4a24507942fc09
Contract
def105f3b2ce699e50ed3214d2449997c48f89e41f78145ddc14674284652991
Root Hash
7b7bca5f94820e561cfc85f56f93b8ed2066148911b8c85c534aaf31fff7eef3
Shard 8
Host
ed25519:40dcaf4ac2c93116853d528c0354abf2fda8481c6c32da8a517253f2afa2a6df
Contract
8b5ffea3300cc74e7800fe645488773e1d8fc3636b33e694f7e194576d4c4ccd
Root Hash
3eccd4b2e3c30f91d18bf1ec39e47dbf0980233abfe4a69de76a44820c74adc8
Shard 9
Host
ed25519:6f6b07c8206d7077b559fcd65652ac3c106cd457317ee7bcfdfce8e022fd1fae
Contract
db3ffaf1110950a2b6b20bdbf42f75e2ad5b34a46db1863eafd57d706dee8bfb
Root Hash
a93fc416f4ecd28244cca97bb8dc2805df8ae523e9de90a520b0fbf17896e1d2
Shard 10
Host
ed25519:14abb9d376abdc3e3920e76cd27d8d4271fa2ea0fe08b74df897adf22329d235
Contract
83b386108865ac036145130962057751b0aefc709ef39b2234f6ad568c83b0b8
Root Hash
10d7361e46534e20956ec38270030e82dee4ebb5c37c28086253962ef4c6443b
Host
ed25519:e493cfd2246f135a23a304c4aebb1dfd47c84f0ff63af8fb07c4298d1f1a3ce4
Contract
1052b2248c3d284549096737e4ca303af55c215e37b6310c81be6d912c9bf555
Root Hash
10d7361e46534e20956ec38270030e82dee4ebb5c37c28086253962ef4c6443b
Shard 11
Host
ed25519:35e4a78314ccc770a99309b50ba3e58405aa4b9ba346b484c79a1dbc97282fe3
Contract
10b099d4d48b02a79405acda58ab303fa57fa45e9f8df13f9040e385d0a49d8d
Root Hash
248d2e636dd3aa0957926ddc4e491ece5019c1a6d7bde31bc7590d4c91c1e871
Host
ed25519:3ede3b85525973a29076c62bc13681be47f81102907993444eb307116c30c54a
Contract
d888cf160fde0fd39b03317b49441c75191cec01c59a01bee5ae65530a797ed5
Root Hash
248d2e636dd3aa0957926ddc4e491ece5019c1a6d7bde31bc7590d4c91c1e871
Shard 12
Host
ed25519:daf30cea1a9c3509460e7a719e59c4ccd29b365e8df52b2bad4d79d94ebfcdbe
Contract
f388c210892ac2e03ebf010c41acf9177b13548c41bfcec1ef69a178a67c85d3
Root Hash
b1576aff7f34649f1994d08d9028d4dc3962e562886a3c7ef5bca6996c3a9a4a
Shard 13
Host
ed25519:6d1b26661f3866e089a6372bc97152a583b20c9ad9c802fff5818afc411c3d7b
Contract
efd16a78dac9c9ca833fec17588162b3b08ea5bb49002a9c83f1bd3c1924b380
Root Hash
68a310aa07f20d5641602616dd4274f0a0e0cf12b9deb0c80e32684005adfee3
Shard 14
Host
ed25519:3077686e977dbe016b6f03ddf6fb9828af8136c10ae6062ec7b2ef99ab3098c2
Contract
24ec688c6fef88927744d07de6abd3b40f4ac3988a0df74691f5e1bcc1971c3e
Root Hash
35f71817e71783dcbae78c15ed59beead3c57c303c733b9722817c5a37548d6c
Shard 15
Host
ed25519:cdc7546efacb4da41a5239199873c73f67579cad43354fb085611bd7e375a1ec
Contract
6d283e1f390c3e33b94fbf8f0e4c4fcc42b8a172e9f51c2c6fbe1247b57e84ab
Root Hash
490aea2e7bb96bf7f028888a77bab6667c1183939da45f37e2aa62b3c656c3d4
Shard 16
Host
ed25519:ce8272efd45f1f6e6d1c7a20ee43eabad83284983ae530f7d162ea654dccca9c
Contract
c7d333d7f2ec4ad2220996e7f91587bd051bf97e1e075f474ab2e52da25a3b3a
Root Hash
02fe71159c8eb61bce31ff649adbd5a2e195eb9254db6ee8d89680fec41c5e4a
Shard 17
Host
ed25519:562f3094ac19ed45a93411aeb4519f77cdc7d5c1c9b12160327823452a0c3b4f
Contract
64131da9737965a92b20d6edd15223e682e8eb66d53ae970537fbfc285bcd410
Root Hash
dba6b61ad549e747f576d1011ad1564c445ab3e9ec4fe33df8b6cf3979326b57
Shard 18
Host
ed25519:e707b20f95a2ddd58d0dbd98d75cbc8d179187f1842f3aeadc0d612d1654f926
Contract
79a7ee15919a3cd7c6de8e4d17a58f9df68c55ecd7fb5c16f400bfdfcf186c86
Root Hash
5fb9e8c74e7dddf5303208c10fa0c1f81775ed60e890c37dbe7346772f607c95
Shard 19
Host
ed25519:a94e6819e9663a65e05ccfc1d4e5a765c1647cd8458b8e821c3a00a05fd0e684
Contract
95730494baa41932c398c8b3874f3393058a97b413ac80da596d94ee2add2d42
Root Hash
a694dd1ffc9c2b73680fa9760ff0770d56f8f3971a7f6669310b4a48f21dee2d
Shard 20
Host
ed25519:210ad99f0e16a02ef055fdd0fcb6506106afeaab81b6834de96d6187ebae0c42
Contract
93dd017146e8830b728dc747345c6b021d09cd336a13a09518a42c03eefad098
Root Hash
7b522fccd03949e1080bb7e171fcf79e1bd20e73184c277dc66c46d63c436383
Shard 21
Host
ed25519:be5965c5f52542ea6016875ed4a46cc1173abbced2be47b39f91991f0b21db96
Contract
f15b9e9ca3101cf9211bba1cab44cc7018120938ade6d0235a74be3a86ad72dd
Root Hash
b085929020ea3165fbda478fb4c60a76360af3e320ea3f0c6ec8f7d63e3508d5
Shard 22
Host
ed25519:f291371aedfd74fd8a7f2a42b56ff46ecda298bc72bfd2dd7618408d75a8fc26
Contract
e51f5b8c956fc0b634bec2f9bbd1af766f0573017f0bb8a4b6038b64ccdd88e7
Root Hash
91009ededd74bf622c91ea05442a1aeba28964a9ded993d19cf34ae48fe752f0
Shard 23
Host
ed25519:2addd5035bb22992038a7d981b4da6cb329a80cb5b7ecd5adfa50a48e470e215
Contract
1dce52f9a23c294ca3b7e75500341b1ca1faf70a25652749e0ceecad6ae42b65
Root Hash
7b9affa4cf6458fbb753bca2a75de6112e87af6ff7ea6298214afee298f370a1
Shard 24
Host
ed25519:2b1935e35bf85862a6fb0dde3d637e76a00b6f09bf7d0be897a821aa7efe986f
Contract
e8aceaa325497aa8dde68be7b2277b73e0af6f0bedb4d648dee3aa179aa1ce78
Root Hash
38150d0daef7216ea9a49c50b2cfd3bd4375da73dba9f93aafde9e6be6a1b866
Host
ed25519:f166b306fbbcc6a774aead9605e2e9187ed660254a513d68f282a722a4c6b74c
Contract
c526edd4ca9b27a70050604ddeabf1a39aa07e97fee1e77e9b48ffcec56e4799
Root Hash
38150d0daef7216ea9a49c50b2cfd3bd4375da73dba9f93aafde9e6be6a1b866
Shard 25
Host
ed25519:adae50da5abf55640ea125c9a733fbdc93d67f015dffe340f808ac2383841565
Contract
8083362f3fb7b1a76ceb6134f669ccb6411c61ad746166cb2ded96a369c51a71
Root Hash
66b1239d1fd3134584619b07aaca929fbc4a1cfcf1c030f8efb8e5e9b3d1d90e
Shard 26
Host
ed25519:52e08941c52873b3f4ffd7d48c46de0217378852e6a5d288a03ceac2b316f3e0
Contract
07cc481f553f056d0728db2247065297cb31ad5a3be865e08afd029ac75e0488
Root Hash
1d6441b03f9e2b6b0eefe64d9e8505ae52a5c9850254a31ec0bffedecdb8c77d
Shard 27
Host
ed25519:20a79a1287530c1c8c4066783d3f129c949aab4eb59edac5d1b44baf2d1d109c
Contract
8bbeabe5445ef24c2fe1ec9b472e2f01805cf3ef6470efc082ae8821aab3583c
Root Hash
d27a09948cfa64ba2147ae35c2d6517f964493bdfa976ade9242d33e697f4266
Shard 28
Host
ed25519:d5bfc8fcf4976b1b17f8ddcd843afc50ce52f144a2dbcff75bd75b0fdbe41249
Contract
63f5c338ece066478399d6c70ccebd60368d4f577805959090cd00a2b4e13123
Root Hash
c5672878a11a733ae7f3aa946d93005d2f5860a88243c98af2583da6d768b925
Host
ed25519:fd9090f5973fc92410e141d2ca7112f266a5f9e5aca9a7024f4116b5a3504274
Contract
8efd36587652215384dbdf52c0ed405fec73ab6c2661bcbe36c8e9b5d074bf31
Root Hash
c5672878a11a733ae7f3aa946d93005d2f5860a88243c98af2583da6d768b925
Shard 29
Host
ed25519:9e948c608943abfc8c7e2f7aa76672afd1226c78d7ff5d917b9ed6904ae9acca
Contract
8bae5b3ed6899dae12df2ddfc425253ba336aeb9a393a6b3557c0fb5a452d145
Root Hash
7bc70408a5960b9eedc5e86f258f695beb5e4bba99d000738dc0ec33c0c2fa34
Shard 30
Host
ed25519:cfc3034e2270ebf2f55683b5ff485b6678186417d2f8def08e4e2c25912af321
Contract
2f3424a7247a874cf32e7b8ac666f5d6876ab8cfdedf2ca91c71015f4c089fd7
Root Hash
f513ff6c61813382dc0a7c0a071ba0a6e45db1672bbadc56214382905be1646c