
Tintup
Walls.io
Juicer
Taggbox
Curator.io
EmbedSocial
Stackla
Color Copy Paste
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/
Tintup
AuditHubNo features have been listed yet.
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.
Walls.io - Walls.io is an all-in-one audience engagement solution that allows brands to collect, curate, and display user-generated content in an easy-to-customize feed that can be used on displays, websites, intranets, or apps.
Olympix - Secure your code as itโs written
Juicer - Juicer provides a solution to aggregate brands' hashtag and social media posts into a single social media feed on their website.
Taggbox - Taggbox helps brands in collecting social feeds, reviews, and user-generated content to curate and display them across websites, digital displays, and marketing touchpoints in an engaging and shoppable manner. Helping brands build trust & conversions
Curator.io - Curator is a brandable social media aggregator.
EmbedSocial - EmbedAlbum tool allows users to embed their Facebook, Instagram and Twitter photo albums on their blogs or websites.