Proof of Solvency

Bi- Weekly Update- March 9, 2025

  • The V1 of the liabilities protcol has been completed with ui. But the problem was that it was slow. Even for a single range check circuit > 15s. So as the number of leafs in the tree will be huge we need every little bit of performance possible. Thus, A rewrite in ocaml(maybe?) is underway
  • It seems that o1js does not have runtime tables yet thus for v1 of the reserves side I had to implement something that provisions did.
  • A new V2 of the protocol is underway which will be faster!
1 Like