Qeditas is a Bitcoin spin-off blockchain built by IOHK to support the construction of a library of formalized mathematics intended to be a realization of the QED project.
Qeditas is a Bitcoin spin-off project initiated by IOHK that aims to combine Proof-of-Stake and Proof-of-Storage as a library for formalized mathematics. The native token is an incentive mechanism to maintain and preserve the information stored on the Qeditas blockchain.