The Trusted Application Store
Below we list all the Agora-endorsed applications that we provide for developers, available in Rust application and can be called across language-boundaries so that you can bring your favorite programming languages to develop secure analytical tasks in TEEs.
It will support a wide array of ML tools from the LinFA library, and statistics tools for foundational data science, Furthermore, we are expanding into advanced tools specifically tailored for clinical research, including the Cox survival analysis and Accelerated Failure Time AFT) models, the Generalized Linear Models, ANOVA, and sophisticated deep learning tools, all implemented in Rust.
ML Tools in LinFA
LinFA is a crate that aims to provide a comprehensive toolkit to build Machine Learning applications with Rust. We used Agora verifier to prove that the algorithms ported from that crate satisfies SFI policies so developers can use these verified methods to implement their own advanced research code.
Naive Bayes
✔ Verified by Agora
Random Forest
✔ Verified by Agora
Linear Regression
✔ Verified by Agora
Logistic Regression
✔ Verified by Agora
Elastic Net
✔ Verified by Agora
kNN
✔ Verified by Agora
Hierarchical Clustering
✔ Verified by Agora
t-SNE
✔ Verified by Agora
Statistics Tools
TAPStore also hosts a series of verified algorithms and tools for statistical analysis.
Hypothesis Testing
✔ Verified by Agora
Other Statistics Tools
✔ Verified by Agora
Cox Survival Models
✔ Verified by Agora
Correlation Analysis
✔ Verified by Agora
Other advanced tools and functions (e.g., Mixed-Effect Models, non-parametric tests, complex neural networks) will be released in the future.