Yatima
SecurityCryptographyTrust & Safety
About
Yatima is a Filecoin layer-2 platform which uses formal verification and zero-knowledge proofs to radically improve the safety and scalability of smart contracts and other deterministic computations.
Funding Stage
Seed
Membership Source
PL VenturesY combinator