Knidos to weryfikowalny agent handlowy AI, w którym node101 występuje jako partner deweloperski po stronie zero-knowledge. Agenci handlowi to szybko rosnący rynek, na którym niemal codziennie pojawia się nowa usługa obiecująca lepszą stopę zwrotu, jednak użytkowników zwykle prosi się po prostu o uwierzenie tym zapewnieniom. Knidos zajmuje przeciwne stanowisko: wykorzystując technologię proofingu zero-knowledge, osiąga światowy precedens — agenta handlowego, którego całą historię może zweryfikować każdy, nie ufając stojącemu za nim zespołowi.

Naiwnym sposobem udowodnienia, że agent handlowy jest uczciwy, jest opublikowanie wszystkich jego transakcji on-chain. Problem w tym, że to przekształca weryfikowalność w wektor ataku. Agent AI jest znacznie bardziej przewidywalny niż człowiek, więc gdy tylko jego portfele staną się publiczne, wielcy gracze mogą odczytać jego strategię i handlować przeciwko niemu, narażając środki użytkowników na ryzyko. Rotacja portfeli, zaufane środowiska wykonawcze i scentralizowane giełdy — wszystko rozbija się o tę samą ścianę: dowód wykonania agenta ostatecznie ujawnia jego tożsamość on-chain, a wraz z nią strategię.

Knidos rozwiązuje ten dylemat za pomocą tego, co nazywa zkTrade Proofs. Każda weryfikacja, którą użytkownik przeprowadziłby na danych handlowych z miesiąca — zrealizowana stopa zwrotu, jakie aktywa były przedmiotem handlu, znaczniki czasu, liczba transakcji, obsunięcie kapitału, win rate i wiele więcej — jest wyrażana jako deterministyczna lista kontrolna i umieszczana wewnątrz dowodu o zerowej wiedzy. Dowód potwierdza całe stwierdzenie w całości, w tym to, że transakcje są prawdziwe i żadna nie została pominięta, jednocześnie nie ujawniając niczego o rzeczywistych portfelach czy pozycjach. Pozwala to Knidosowi udowodnić jednocześnie, że jest zyskowny, oraz to, jak zarabia, nie oddając atakującym swojej strategii.

Aby uczynić weryfikację praktyczną, Knidos opiera się na zkVerify — sieci wyspecjalizowanej w weryfikacji dowodów. Knidos generuje dowód mniej więcej co godzinę i rozlicza go na zkVerify, gdzie każdy może przekonać się, że jest matematycznie poprawny i zgodny z metrykami, które Knidos publikuje. Rezultatem jest model zaufania 1-z-N: jedna osoba w dowolnym miejscu na świecie weryfikująca Knidosa wystarczy, by uczynić go trustless dla milionów. Knidos jest trustless nie dlatego, że musisz weryfikować wszystko sam, lecz dlatego, że możesz.