GenLayer-native auditor

Audit GenLayer contracts before AI or fetched web data affects on-chain data.

Soothmark is a GenLayer-native intelligent contract auditor that checks whether contract code uses the right validation/equivalence mechanism before AI, web data, API results, or rendered page content can affect on-chain contract data.

Audit Contract View Examples

Audit preview

Validation/equivalence audit

Certified

response = gl.nondet.web.get(endpoint)
result = gl.eq_principle.strict_eq(fetch)
self.status[url] = result

IIntent

NNondet

SState

CCheck

RResult

Contract code scanned

Nondeterminism path traced

State impact reviewed

Verification Check completed

Audit path

A focused audit model for intelligent contracts.

Soothmark traces one critical path: intent → nondeterminism → state impact → validation/equivalence → result.

intent -> nondeterminism -> state impact -> verification check

IIntent

NNondet

SState

CCheck

RResult

Intent

Identifies what the submitted contract is designed to do.

Nondeterminism

Detects executable web, AI, render, and other nondeterministic logic.

State Impact

Checks whether nondeterministic output can affect persistent contract state.

Verification Check

Verifies whether the state-changing path is protected by the correct GenLayer mechanism.

Report preview

A focused audit report for validation/equivalence review.

Soothmark reports highlight the path from AI or fetched web data to state impact and the validation/equivalence mechanism that protects it.

Mock audit report

Report ready

SimpleStorage

Certified

IIntent

NNondet

SState

CCheck

RResult

Nondeterminism

Not present

State impact

Not present

Validation

None required

{
  "classification": "certified",
  "nondeterminism": { "present": false },
  "state_impact": { "present": false },
  "validation": {
    "mechanism": "none",
    "properly_used": true
  }
}

Examples

Representative contracts for Soothmark audit calibration.

Review sample contracts that demonstrate how Soothmark classifies deterministic logic, unsafe outside-data state writes, fake validation mentions, and protected validation paths.