AuditHub
Olympix
Logseq
Obsidian.md
Notion
Joplin
Roam Research
Anytype.io
Evernote
Trilium Notes
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/
AuditHub
LogseqNo 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, Logseq seems to be more popular. It has been mentiond 299 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.
Choose a local Markdown tool like Obsidian, Logseq, Foam, or Tolaria to store all your knowledge as plain .md files you own and control. - Source: dev.to / 2 months ago
I should call out another thing that convinced me was a user of forgetful (twsta) posted in the discord a skill for managing wok and todos from how they used to use Logseq. - Source: dev.to / 4 months ago
The Zettelkasten method is a knowledge management system that helps organise ideas effectively. I believe this system would work well for myself, so I have been looking at applications such a Logseq and Zettlr as a result. I am currently using a Wiki-style solution in Zim, however. - Source: dev.to / 7 months ago
I am a fan of Logseq [0] as well, although itโs slightly different in that it is mostly for bulleted notes and not long-form prose. [0]: https://logseq.com/. - Source: Hacker News / 9 months ago
Logseq is a personal knowledge management and note-taking application. - Source: dev.to / 11 months ago
Olympix - Secure your code as itโs written
Obsidian.md - A second brain, for you, forever. Obsidian is a powerful knowledge base that works on top of a local folder of plain text Markdown files.