Details
Yatima is a verifiable computing platform that uses formal proofs and zkSNARKs to make software more secure.
The Archives Including
Similar Projects
BitTorrent
Popular P2P file sharing protocol
DeFiChain
Blockchain
Enjin
A platform that enables developers to create and manage virtual goods for games
COMBO
Scaling solutions for Web3 game development
Kalima
Blockchain solution for Internet of Things (IoT) services
Ethereum
The first blockchain with smart contract functionality
Stacks
Bitcoin L2
DigiByte
innovative blockchain