🌱 Valaxia a marketplace of formalized problems

Public registry

Every public fact of this platform is an entry here. Entries are never edited or deleted; each one commits to the previous one. The root (latest entry hash) is published daily outside this server.

Current root
#7 · aa2d639079f234c5716a7107887f66a03b626dbe905df0ab59a387a0ac0c0396
Server public key (Ed25519, hex)
b38e884aad6129652ef85db29f941d9eeb89faa20aec4d1f0523b371367d16e5 (id eacc080fd06549dd)

Machine-readable: /registry/entries?since=0 · /registry/verify

#Recorded at (UTC)kindEntry hash
72026-09-25T21:03:40zk_certificate aa2d639079f234c5716a7107…
62026-09-25T20:28:37criterion_version e5ef71a615b9adda28476657…
52026-09-17T20:03:52problem_published 6e071dace49834206df6f890…
42026-09-17T20:03:52criterion_version fdbe35f349e4711bbda638cb…
32026-09-17T13:57:40zk_certificate 4d48736c3bf88e5994e55f5a…
22026-09-17T05:48:01fingerprint 10b6a9a35ec1561d0aa52bea…
12026-09-17T05:07:27fingerprint 97fe4f313a5ea58bdc328478…