Since Tizen is used, it should be explicitly checked what the operating environments it is exposed to mean for Verifiable libraries. The plan is already to delegate cryptographic functionality to either libraries or the platform in discretion of the programmer, but it may be worth seeing what combination works well and test (and pre-provide) that.
A notable case here is (potential) wallet functionality.
Since Tizen is used, it should be explicitly checked what the operating environments it is exposed to mean for Verifiable libraries. The plan is already to delegate cryptographic functionality to either libraries or the platform in discretion of the programmer, but it may be worth seeing what combination works well and test (and pre-provide) that.
A notable case here is (potential) wallet functionality.