AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.

Built by Veridise. https://veridise.com/

Cryptee is a safety and privacy focused, encrypted and cross-platform personal data storage service. You can write personal documents, notes, journals, store photos and all sorts of other files.

It works on all your devices and provides a zero-knowledge place to keep all your sensitive digital belongings. cryptee has all the features you'd expect from a modern document editor, like live sync with unlimited devices, rich document editing, to-dos, markdown, hotkeys, code highlighting, latex math, embeds, attachments, support for tables, ability to attach pdf files, read EPUB ebooks, listen to audio-memos, as well as open and link other various file formats.

Cryptee is based in Europe, in Tallinn, Estonia. A country named "the most advanced digital society in the world" by Wired, and a country where the government runs on blockchain.