Pocket Casts
Overcast
TuneIn Radio
gPodder
Player FM
Acast
Podomatic
Buzzsprout
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/
Pocket Casts
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.
Based on our record, Pocket Casts seems to be more popular. It has been mentiond 2 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
I've been happily using PocketCasts[1] for years. [1] https://pocketcasts.com/. - Source: Hacker News / over 2 years ago
When I first heard this news I started using https://pocketcasts.com/ which I have been very happy with. In case anyone else was looking for a Google Podcasts alternative. - Source: Hacker News / over 2 years ago
Overcast - Video-first asset management for teams
Olympix - Secure your code as itโs written
TuneIn Radio - With TuneIn Radio Mobile, your mobile device becomes the radio.
gPodder - gPodder // Media aggregator and podcast client. gPodder is a simple, open source podcast client written in Python using GTK+. In development since 2005 with a proven, mature codebase. The latest version is 3.
Player FM - Player.fm is a podcast player you can use in your browser.
Acast - All in one solution for podcast creators and listeners ๐