Platforms or products offer out of the box solutions and typically come with various built-in constraints about how and where they are used.
| Name | Summary | Limitations | Links |
|---|
| Concrete | TFHE Python compiler to convert Python programs into equivalent FHE programs | | Concrete by Zama |
| Concrete ML | Privacy-preserving machine learning | | Concrete ML by Zama |
| fhEVM | develop confidential smart contracts in Solidity | | fhEVM by Zama |
| Sunscreen | Compiler for FHE | | Sunscreen |
| TFHE-rs | Rust implementation of FHE over the Torus | for cryptographers & researchers | TFHE-rs by Zama |
| Name | Summary | Limitations | Links |
|---|
| circom to arithmetic circuit compilers | Libraries for compiling circom circuits to arithmetic circuits | | circom-2-arithc, circom-2-arithc-ts |
| mpz | Multi-party computation libraries written in Rust | | mpz by PSE |
| Name | Summary | Limitations | Links |
|---|
| General-purpose zkVM based on RISC-V | generate ZK proofs from Rust code | performance cost for complex computations | RISC Zero zkVM, Succinct SP1 |
| Circom | circuit compiler | | Circom |
| Noir | domain-specific language for SNARK proving systems | | Noir |
| Name | Summary | Limitations | Links |
|---|
| Herodotus | Prove storage of data at block hash | The verifier (on-chain or off-chain) must have access to an archive of block header hashes from the source chain. | Link |
| Name | Summary | Limitations | Links |
|---|
| OpenPassport | an identity wallet based on a government-issued ID such as your passport | | Link |
| zuPass | software for storing and managing your cryptographic data | | Link |
| Rarime | a MetaMask Snap that safely holds any of your credentials and allows you to prove your identity without revealing any personal data. | | Link |