
Wikispaces
PowerSchool
Teachable
Clever
LanSchool
Treehouse
Fedena
Canvas by Instructure
AuditHub
Olympix
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/
Wikispaces
AuditHubNo features have been listed yet.
When it was operational, Wikispaces was ideal for educators, students, and institutions seeking a straightforward platform for collaborative learning and project management. For those looking for similar functionality today, alternative platforms such as Google Sites, Notion, or Microsoft OneNote might be suitable replacements.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
PowerSchool - PowerSchool provides a K-12 education technology platform for operations, classroom, student growth, and family engagement.
Olympix - Secure your code as itโs written
Teachable - Create and sell beautiful online courses with the platform used by the best online entrepreneurs to sell $100m+ to over 4 million students worldwide.
Clever - syncing between education applications for K-12 schools
LanSchool - Get the best classroom management and monitoring software to inspire collaborative teaching with tools to minimize distractions and maintain an effective learning environment.
Treehouse - Treehouse is an award-winning online platform that teaches people how to code.