
# Զրո‑գիտելիքի ապացույցները հանդիպում են ԱԻ-ի հետ՝ безопас​ք հարցաթերթի ավտոմատացման համար

## Ներածություն

Անվտանգության հարցաթերթերը, մատակարարների ռիսկի գնահատումները և կարգապահի հաշվի‑տվերները հանդիսանում են արագ աճող SaaS ընկերությունների համար քիչ թևող խանգարիչներ։ Թիմերը ծախսում են անթուլ դիմագծերի ժամեր ապացույցների հավաքման, զգայուն տվյալների կարմիրանշման և կրկնվող հարցերի ձեռքով պատասխանելու համար։ Թեև գեներատիվ ԱԻ հարթակները, ինչպիսիք են Procurize‑ը, արդենумлаսիլ են պատասխանի ժամանակը, դրանք դեռեւս բացում են իրական ապացույցների հասանելիությունը ԱԻ‑ին, ինչը ստեղծում է տվյալների գաղտնիության ռիսկ, որ կարգավորիչները ազդում են։  

Մուտքով **զրո‑գիտելիքի ապացույցները (ZKP‑ները)**— կրիպտո‑համակարգեր, որոնք թույլ են տալիս ապացուցողին վստի վավերորեն դիմատիրել հաստատումը **առանց որևևիտ տվյալների ներգաղման**։ Զրո‑գիտելիքի ապացույցների և ԱԻ‑նյա պատասխանների ստեղծման համակցությամբ, կարելի է կառուցել համակարգ, որը  

1. **Պահպանում է իրական ապացույցները գաղտնի**, սակայն թույլ է տալիս ԱԻ‑ին սովորել ապացույց‑արտածված հայտարարություններից։  
2. **Ներկայացնում է մաթեմատիկայն ապացույց**, որ յուրաքանչյուր գեներացված պատասխան հիմնված է իսկական, արդի ապացույցների վրա։  
3. **Թույլ է տալիս ստանալ աուդիտ‑քայլեր, որոնք խախտման հայտնադրվում են և կարող են ստուգվել**, առանց գաղտնի փաստաթղթերը բացահայտելը։  

Այս հոդվածը բացատրում է ճարտարապետությունը, իրականացման քայլերը և հիմնական առավելությունները ZKP‑բարձրացված հարցաթերթի ավտոմատացման շարժիչի համար։

## Հիմնական հասկացումներ

### Զրո‑գիտելիքի ապացույցների հիմունքներ

ZKP‑ը ինտերակտիվ կամ ոչ‑ինտերակտիվ պոտոցոլ է *ապացուցողի* (պայլից փաստաթղթերը պահող) և *ստուգողի* (աուդիթի համակարգի կամ ԱԻ-ի) միջև։ Պոտոցոլը բավարարում է երեք հատկությունները.

| Հատկություն | Նկարագրություն |
|------------|-----------------|
| **Լրացվածություն** | Նիստի ապացուցողները կարող են համոզել ազնիվ ստուգողների ճիշտ հայտարարություններ։ |
| **Ձայնություն** | Կեղծված ապացուցողները չեն կարող հաջողությամբ համոզել ստուգողին սխալ հայտարարություն, բացառապես անընդունելի հավանականությամբ։ |
| **Զրո‑գիտելիք** | Ստուգողը չի սովորում ոչինչ, բացի հայտարարության վավերությանից։ |

Ընդհանուր ZKP‑կազմվածքները ներառում են **zk‑SNARKs (Succinct Non‑interactive Arguments of Knowledge)** և **zk‑STARKs (Scalable Transparent ARguments of Knowledge)**։ Երկուեն ստեղծում են կարճ ապացույցներ, որոնք արագ կարող են ստուգվել, ինչն էլ դարձնում է դրանք իրական‑ժամանակի աշխատանքների համար հարմար։

### Գեներատիվ ԱԻ հարցաթերթի ավտոմատացման մեջ

Գեներատիվ ԱԻ (մեծ լեզվի մոդելներ, retrieval‑augmented generation պոտոցոլներ, և այլն) լավ աշխատում են՝  

- Հետաքրքիր փաստերի աղբյուրների հանեցումից՝ անսկզբակ ապացույցներից։  
- Միակ, կարգապահ պատասխանների ստեղնով գրանցումից։  
- Քաղված սահմանման բաղադրիչների կապակցումից։  

Սակայն, դրանք սովորաբար պահանջում են **ուղղակի հասանելիություն իրական ապացույցներին** inference‑ի ընթացքում, ինչը դույլի արտածում է տվյալների արտածման ռիսկ։ ZKP շարջակը թույլ է տալիս տալ ԱԻ‑ին *այսպե* վերծված հայտեր` իսկ չբերելով իրական փաստաթղթեր։

## Ճարտարապետական տեսապատմություն

Ներքևում ներկայացված է **ZKP‑ԱԻ Հիբրիդ շարժիչի** բարձր‑ մակարդակ դասավորություն։ Mermaid‑ին հետեւեց՝ հստակեցնելու համար։

```mermaid
graph TD
    A["Ապացույցների պահարան (PDF, CSV, և այլն)"] --> B[Զրո‑գիտելիքի ապացուցման մոդուլ]
    B --> C["Ապացույցի գեներացում (zk‑SNARK)"]
    C --> D["Ապացույցների պահոց (Անփոփոխ հաշվետվական)"]
    D --> E[ԱԻ պատասխանի շարժիչ (վերադարձ‑բարձրացված գեներացում)]
    E --> F["Սպասարկված պատասխաններ (ապացույցի հղումներով)"]
    F --> G[Կարգապահական վերանայման տախտակ]
    G --> H["Վերջնական պատասխանի փաթեթ (պատասխան + ապացույց)"]
    H --> I[Հաճախորդ / Աուդիտորի հաստատում]
    style A fill:#f9f,stroke:#333,stroke-width:2px
    style I fill:#9f9,stroke:#333,stroke-width:2px
```

### Քայլ‑առ‑քայլ նկարագրություն

1. **Ապացույցների ներմուծում** – Փաստաթղթերը բեռնվում են ապահով պահոցի մեջ։ Մետատվյալները (հաշվիչ, տարբերակ, դասակարգում) գրանցվում են։  
2. **Ապացույցի գեներացում** – Յուրաքանչյուր հարցաթերթի համար, Զրո‑գիտելիքի ապացուցողն ստեղծում է հայտարարություն, օրինակ՝ “*Փաստաթուղթ X‑ը պարունակում է [SOC 2] կոնտրոլ A‑5, որը համապատասխանում է պահանջ Y‑ին*”։ Ապացույցը աշխատում է zk‑SNARK ցիկլով, որը հավաստում է հայտարարությունը՝ չթողնելով բովանդակությունը։  
3. **Անփոփոխ ապացույցների պահոց** – Ապացույցները, ներառելով Merkle արմատը, գրադվում են միայն‑ավելացվող գրասուցման մատչում (օրինակ՝ blockchain‑բաժին) վրա, ինչը ապահովում է չվերագրեքելիություն և աուդիտումս։  
4. **ԱԻ պատասխանի շարժիչ** – LLM-ը ontvangt **ընդդրված փաստորեն թուային բակներ** (հայտարարվածություն և ապացույցի հղում)՝ ոչ թե օրինական ֆայլերը։ Այն կազմում է մարդկային ընթերցվող պատասխանները, ընդգծելով ապացույցի ID‑ները հետագա հետագա համարում։  
5. **Վերանայման և համագործակցության** – Անվելի, իրավաբանական և արտադրանքի թիմերը օգտագործում են տախտակը՝ վերանայում են նախագծերը, ավելացնելը մեկնաբանություններ կամ պահանջել լրացուցիչ ապացույցներ։  
6. **Վերջնական փաթեթավորում** – Վերջնական պատասխանների փաթեթը պարունակում է բնական‑լեզու պատասխանը և **ավարտական ապացույցների բանջար**։ Աուդիտորները կարող են ապացույցը ստուգել առանձին, առանց երևալի փաստաթղթի տեսողություն ստանալու։  
7. **Արտաքին վերլուծություն** – Աուդիտորները գործարկել են թեթև վերլուծիչ (համաբար վեբ‑տուլիկ)՝ ստուգելով ապացույցը հանրային գրանցումի հետ, հաստատելով, որ պատասխանը իրականացնում է ներկայացված ապացույցը, առանց մակագածի հետադարձ տեսողության։

## ZKP շարը ներդնելու գործընթացը

### 1. Ապացույցի համակարգի ընտրություն

| Համակարգ | Թափանցիկություն | Ապացույցի չափս | Ստուգման ժամանակ |
|----------|----------------|----------------|-------------------|
| zk‑SNARK (Groth16) | Տվյալների պաշտպանված կարգավորում | ~200 բայթ | < 1 ms |
| zk‑STARK | Թափանցիկ կարգավորում | ~10 KB | ~5 ms |
| Bulletproofs | Transparent, without trusted setup | ~2 KB | ~10 ms |

Աղբյուրի գործն պակաս, **Groth16‑հիմքված zk‑SNARK‑ները** առաջարկում են լավ արագության և կոմպակտվածություն, հատկապես երբ ապացույցի գեներացումը կարող է տեղադրվել հատուկ microservice‑ում։

### 2. Ցիկլերի սահմանում

Սցիկլը կներկայացնի լաժիցական պայման՝ ցույց տալու։ SOC 2 կոնտրոլի օրինակ կատարված սցիկլ.

```
input: document_hash, control_id, requirement_hash
assert hash(document_content) == document_hash
assert control_map[control_id] == requirement_hash
output: 1 (valid)
```

Սցիկլը մեկ անգամ կկոնպիլվի։ Յուրաքանչյուր կատարումում պետք է տրամադրվեն կոնկրետ մուտք և ստացվեն ապացույցներ։

### 3. Ընթացիկ ապագրի կառավարման հետ միացում

- Պաշտել **փաստաթղթի հեշը** (SHA‑256) մետատվյալների հետ միասին։  
- Պահպանել **կոնտրոլների քարտեզը**, որը կապում է կոնտրոլների նոյնորոշիչները պահանջների հեշերից։ Դա կարելի է պահում անպայման գրանցված պահոցում (օրինակ՝ Cloud Spanner՝ աուդիտ‑լինքներով)։

### 4. Ապացույցների API‑ների հրապարակում

```http
POST /api/v1/proofs/generate
{
  "question_id": "Q-ISO27001-5.3",
  "evidence_refs": ["doc-1234", "doc-5678"]
}
```

Պատասխան:

```json
{
  "proof_id": "proof-9f2b7c",
  "proof_blob": "0xdeadbeef...",
  "public_inputs": { "document_root": "0xabcd...", "statement_hash": "0x1234..." }
}
```

Այս API‑երը օգտագործվում են ԱԻ շարժիչի կողմից, երբ նախատեսվում են պատասխանների քաշը։

## Օργανիզների համարի առավելությունները

| Պարգևներ | Բացատրություն |
|-----------|----------------|
| **Տվյալների գաղտնիություն** | Իրական ապացույցները չլցնում են համակարգից; միայն զրո‑գիտելիքի ապացույցները ուղարկվում են ԱԻ‑ին։ |
| **Կարգավորիչների համավորում** | **[GDPR](https://gdpr.eu/), [CCPA](https://oag.ca.gov/privacy/ccpa)**‑ի նման, և մեխանիկ AI‑կառավարության հրահանգները առավելություն են տալիս տեխնիկաները, որոնք նվազեցնում են տվյալների արտահայտումը։ |
| **Խախտման հայտնակազմ** | Որևէ փոփոխություն փաստաթղթում փոխում է պահված հեշը, ինչը անմխիթարապարտում է առկա ապացույցները, որոնք կարող են անմիջապես ճանաչվել։ |
| **Աուդիտների արդյունավետություն** | Աուդիտորները ապացույցները վերլուծում են մի քանի վայրկյանների ընթացքում, զրկելով՝ մեկից յոթ օրերի դասարանների հետադարձ կապը։ |
| **Մոտք‑սահմանված համագործակցություն** | Մի քանի թիմեր կարող են տարբեր ժամանակահատվածներում աշխատել նույն հարցաթերթի վրա՝ ապացույցների հղումների երաշխավորված համատեղումով։ |

## Իրական Օրինակ. Քայլ‑նեառված SaaS մատակարարի հանձնաժողով

Ֆինտեքի ընկերություն պահանջում է **[SOC 2](https://secureframe.com/hub/soc-2/what-is-soc-2) Type II** հարցաթերթը՝ նոր SaaS մատակարարի համար։  
1. **Փաստաթղթի հավաքում** – Մատակարարը բեռնում է վերջին SOC 2 հաշվետվությունը և ներքին կարգերը։ Յուրաքանչյուր ֆայլի հեշը և տարբերակը գրանցվում են։  
2. **Ապացույցի գեներացում** – “Փակել տվյալները\" հարցի համար համակարգը գեներացնում է ZKP՝ պնդելով՝ «Կան շեֆրագրման քաղաքականություն A առկա է SOC 2 հաշվետվությունում», և հղում է Proof‑ID‑ն p‑123։  
3. **ԱԻ-նկարագրություն** – LLM‑ը ստանում է «Շեֆրագրման‑պողը գոյություն ունի (Proof‑ID = p‑123)», բաղկացում է խոհանդակ պատասխանը և ներնում է ապացուցի ID‑ն։  
4. **Աուդիտորի ստուգում** – Ֆինտեքի աուդիտորը բացում է Proof‑ID‑ը վեբ‑պատրորում, ստուգում է ապացույցը հանրային գրանցումի հետ, հաստատելով, որ պորըկ Գրանցված SOC 2‑րդատընման ապացույցը բավարարում է պահանջը, առանց ցուցադրման անպայման ֆայլի։  

Այս գործընթացը ավարտվում է **10 րոպեների** განმავლობაში, որտեղ նախորդիս՝ **5‑7 օր** անցկացված են ձեռքերով տեղեկություն փոխանակման համար։

## Լավագույն գործառույթներ և սխալներ

| Գործառույթ | Ինչու՞ կարևոր է |
|------------|-------------------|
| **Զեկուցված փաստաթղթեր հավաքված տարբերակով** | Ապացույցները պետք է կապված լինեն կոնկրետ փաստաթղթի տարբերակին; թարմացումների դեպքում պետք է նոր ապացույցներ գեներացնել։ |
| **Պակասված հայտարարությունների քանակը** | Յուրաքանչյուր ապացույց պետք է լինի շերտավորված, որպեսզի ցիկլի բարդությունը և ապացույցի չափսը նվազեցվի։ |
| **Ապացույցի անբաժանարար պահոց** | Օգտագործեք միայն‑ավելացվող մատչում կամ blockchain‑անգամից՝ ապացույցների երաշխավորության համար։ |
| **Ապրաժեշտ հաշվետվությունների անվտանգ կարգավորում** | Եթե օգտագործում եք zk‑SNARK‑ներ, պարբերապես նորացնելը վստահված կարգավորումը կամ փոխարինել թափանցիկ համակարգերով (zk‑STARK‑ներ)։ |
| **Բարձր‑հիսուեկան պատասխանների ավտոմատացում** | Բարձր‑ռիսկի հարցերի (օրինակ՝ խախտումների պատմություն) համար պահպանել մարդկային ստորագրմանը, չչափել միայն ապացույցներ։ |

## Ապագա ուղղություններ

- **Հիբրիդ ZKP‑Ֆեդերատված ուսումնական**՝ ZKP‑ները համատեղելը ֆեդերատված ուսուցման հետ, բարելավելով մոդելի ճշգրտություն, տեղափոխելով տվյալները տարբեր կազմակերպությունների միջև։  
- **Դինամիկ ապացույցների գեներացում**՝ Ռեալ‑տայիմում ցիկլերի կազմաձևում, որտեղ ապացույցները կարող են գեներացվել ըստ հարցերի լեզուի։  
- **Ստանդարտացված ապացույցների սխեմաներ**՝ Իսո, Cloud Security Alliance ու այլ կազմակերպություններ կարող են սահմանել ընդհանուր ապացույցի սխեմաներ, պարզեցնելով մատակարարը‑գնորդների ինտերօպերաբիլիթը։  

## Եզրակացություն

Զրո‑գիտելիքի ապացույցները տրամադրվում են մաթեմատիկորեն կապված եղանակով գաղտնի ապացույցները պահպանում են, իսկ ընդհատում են ԱԻ‑ին հնարավորություն հստակ և համաձայնատող պատասխանների ստեղծման համար։ ZKP‑ը ներդրելով ԱԻ-աշխատակցման մեջ, օրգանիզացիաները կարող են  

- Պահպանել տվյալների գաղտնիությունը տարբեր կարգավորիչների շրջանակներում։  
- Առաջարկել աուդիթորներին անպայման ապացույցի պատշաճությունն առանց փաստաթղթեր բացահայտելը։  
- Արագացնել ամբողջական կարգամանagment‑չափը, ուժեղացնել գործառույթների աշխատանքը և նվազեցնել գործաժնկերների հետ գործի ծախսերը։  

Որպեսզի ԱԻ‑ն շարունակաբար կառավարում է հարցաթերթի ավտոմատացումը, զրո‑գիտելիքի կրիպտոգրաֆի համընկնումը չի լինի միջոց, այլ զեղչային տարբերակ՝ վստահություն և համատեղվածություն մեծ մասսայի համար։

## <span class='highlight-content'>Տե՛ս</span> նաև
- [ISO/IEC 27001:2022 – Ծավալների ամբողջության վերաբերյալ ուղեցույց](https://www.iso.org/standard/75696.html)