Research
Zkllvm
Compile zero-knowledge proofs from high-level programming languages with no performance overhead.
- Service: product
Drop Database
Fast and scalable database management system for fault-tolerant databases (aka so-called "bl*ckchains")
- Service: product
Crypto3
Cryptography suite in C++17 designed for cryptographers by cryptographers to enable fast and safe prototyping of novel cryptographic primitives
- Service: product
Dbms
Database Management System providing a fault-tolerant replication mechanism for newly created databases and handling different kinds of fault-tolerant replication protocols for existing ones. Puts replication protocol to the database level, introduces swappable query languages and sub-clustering.
- Service: Data Storage
Solana
Solana claims to provide a performance-oriented cluster with a Berkley Packet Filter-based virtualization mechanism. =nil; Foundation's Crypto3 team has facilitated Solana cluster with the in-EVM "Light Client" state verification mechanism to pave the way to the trustless zero-knowledge proof-based bridge.
- Service: Data Storage
Mina
Mina is building a gateway between the real world and crypto — and the infrastructure for the secure, democratic future we all deserve. By design, the entire Mina database is possible to be packed into a Pickles SNARK proof, which size is about 22kb – literally the size of a couple of tweets. So participants can quickly sync and verify the whole state. =nil; Foundation's Crypto3 team has facilitated Mina Protocol with the in-EVM Pickles SNARK proof verification mechanism paving the way to the bridge with Ethereum.
- Service: Data Storage
Filecoin Prover
Filecoin is a descentralized storage network, incentivized with crypto-token and based ontop of IPFS storage protocol. =nil; Foundation's internal =nil; Crypto3 team has designed and developed a special version of Filecoin prover, which is the up to 4x times more performant and less hardware-demanding Filecoin prover alternative increasing mining profitability.
- Service: Data Storage
Crusty3
Modern cryptography suite implemented in Rust. Uses the same architecture type traits as Crypto3 along with the same backend implementation in YASM. Includes permutative, public key, zero-knowledge cryptograhy along with verifiable delay functions, threshold schemes and cryptographic accumulators.
- Service: Cryptography
Chia Network
Chia Network claims to be providing the first alternative to traditional Nakamoto consensus. With participating and winning VDF and ProofOfSpace contests with its' =nil; Crypto3 team, =nil; Foundation resulted in providing the most performant plottng implementation, helping to develop the protocol.
- Service: Data Storage
Crypto3
Modern cryptography suite implemented in C++. Statically typed, C++14, stack-only. Includes permutative, public key, zero-knowledge cryptograhy along with verifiable delay functions, threshold schemes and cryptographic accumulators.
- Service: Cryptography
Protocol
=nil; Protocol team is dedicated to communication and database replication protocol design and development.
- Service: Protocol
Database
=nil; Database team is dedicated to data storage system architecture research, design and development.
- Service: Database
Crypto3
=nil; Crypto3 is a team dedicated to design and development of cryptography theoretical constructions and implementations.
- Service: Cryptography
