Nobulex

Протокол доказательства поведения для автономных ИИ-агентов.

Каждый ИИ-агент дает обещания — «Я не переведу более $500», «Я буду использовать только одобренные API», «Я не буду трогать производственные данные». Но сегодня нет способа доказать, что агент сдержал эти обещания. Журналы пишутся тем же программным обеспечением, которое проходит аудит. Соответствие требованиям декларируется, но никогда не доказывается.

Nobulex меняет это. Определяйте правила поведения. Обеспечивайте их соблюдение до выполнения. Доказывайте соответствие с помощью криптографии, а не доверия.

Что такое доказательство поведения?

Вы не можете провести аудит нейронной сети. Но вы можете провести аудит действий на соответствие заявленным обязательствам.

verify(covenant, actionLog) → { compliant: boolean, violations: Violation[] }

Это всегда разрешимо, всегда детерминировано, всегда эффективно. Никакого машинного обучения, никаких эвристик — только математическое доказательство.

Доказательство поведения означает, что каждое действие автономного агента:

• Объявлено — поведенческие правила определены до развертывания на формальном языке

• Принудительно исполнено — нарушения блокируются во время выполнения, до совершения действия

• Доказано — каждое действие связано хеш-цепочкой в защищенный от несанкционированного доступа аудиторский след, который третьи стороны могут независимо проверить

Быстрый старт

npm install @nobulex/sdk

import { createDID } from '@nobulex/identity';
import { parseSource } from '@nobulex/covenant-lang';
import { EnforcementMiddleware } from '@nobulex/middleware';
import { verify } from '@nobulex/verification';

// 1. Create an agent identity
const agent = await createDID();

// 2. Write behavioral rules
const spec = parseSource(`
  covenant SafeTrader {
    permit read;
    permit transfer (amount <= 500);
    forbid transfer (amount > 500);
    forbid delete;
  }
`);

// 3. Enforce at runtime
const mw = new EnforcementMiddleware({ agentDid: agent.did, spec });

// $300 transfer — allowed
await mw.execute(
  { action: 'transfer', params: { amount: 300 } },
  async () => ({ success: true }),
);

// $600 transfer — BLOCKED before execution
await mw.execute(
  { action: 'transfer', params: { amount: 600 } },
  async () => ({ success: true }),  // never runs
);

// 4. Prove compliance
const result = verify(spec, mw.getLog());
console.log(result.compliant);    // true
console.log(result.violations);   // []

Рукопожатие для проверки между агентами

Прежде чем два агента совершат транзакцию, они проверяют доказательство поведения друг друга. Нет доказательства — нет транзакции.

import { generateProof, verifyCounterparty } from '@nobulex/sdk';

// Agent A generates its proof-of-behavior
const proof = await generateProof({
  identity: agentA,
  covenant: spec,
  actionLog: middleware.getLog(),
});

// Agent B verifies Agent A before transacting
const result = await verifyCounterparty(proof);

if (!result.trusted) {
  console.log('Refusing transaction:', result.reason);
  return; // No proof, no transaction
}

// Safe to transact — Agent A is verified
await executeTransaction(proof.agentDid, amount);

Рукопожатие проверяет шесть вещей по порядку: подпись ковенанта, подпись доказательства, целостность журнала, соответствие требованиям, минимальную историю и требуемый ковенанты. Если какая-либо проверка не проходит, транзакция отклоняется.

Почему доказательство поведения важно

| Что существует