
CouchBase
MongoDB
Redis
ArangoDB
CouchDB
Apache Cassandra
OrientDB
Azure Cosmos DB
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/
CouchBase
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, CouchBase seems to be more popular. It has been mentiond 3 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 used a mix of tools to build this project, each handling a different part of the process. Google ADK helps run the AI agents, Couchbase stores past Kubecon talks data and performs the vector search, and Nebius Embedding model for generating embeddings and LLM models (Example: Qwen) generates summaries and talk abstracts. - Source: dev.to / about 1 year ago
It is therefor with great satisfaction we hereby announce that we might sponsor your Open Source project with your own custom AI chatbot built on top of ChatGPT and our AI chatbot technology. To show you an example of how this might look like, consider the following chatbot we've created for CouchBase. - Source: dev.to / about 3 years ago
I think the URL is linked from https://couchbase.com/ or cloud.couchbase.com. Source: almost 5 years ago
MongoDB - MongoDB (from "humongous") is a scalable, high-performance NoSQL database.
Olympix - Secure your code as itโs written
Redis - Redis is an open source in-memory data structure project implementing a distributed, in-memory key-value database with optional durability.
ArangoDB - A distributed open-source database with a flexible data model for documents, graphs, and key-values.
CouchDB - HTTP + JSON document database with Map Reduce views and peer-based replication
Apache Cassandra - The Apache Cassandra database is the right choice when you need scalability and high availability without compromising performance.