An fassara wannan shafi ta na'ura. Idan wani abu ya yi kuskure, don Allah buɗe batun a shafin — repo yana buɗe wa kowa. Rarraba matsalar fassara

koma zauren farko

Asali, Gaskiya, da Alƙawari, da tabbacin rubutu na sirri.

DMV na Wakilin AI

CIRISVerify yana ba da lasisi (asali), yana duba abin hawa (gaskiya), kuma yana bin diddigin inshorar (alƙawari). Ba tare da shi ba, kowane wakili zai iya iƙirarin zama komai.

Kowane Wakili Yana Buƙatar Abu Uku

Kamar yadda kowane mota ke kan hanya.

CIRISVerify shine mafarin amincewa na yanayin CIRIS. Rubutu na sirri mai nau'in biyu Ed25519 + ML-DSA-65 a matsayin ma'auni na farko: tsaron gargajiya daga na'ura, juriya ga kuantum daga software.

1 · Lasisin Direba

Asali & Maɓallin Sa-hannu
Maɓallin sa hannu na haɗe da aka ɗaure da kayan aiki (Ed25519 + ML-DSA-65) wanda shine asalin wakilin, ana riƙe da shi a cikin kayan aikin tsaro na FIPS 140-3 (TPM, Secure Enclave, Android Keystore, YubiKey). Dole ne a tabbatar da sa hannun biyu. Ba za a iya ƙararta ko canja wurinsa ba.

Maɓallin ba ya wakiltar asali. Shi ne asalin.

2 · Rajista & Duba

Gaskiyar Software & Na'ura
Ana yin hash SHA-256 ga kowane fayil a cikin rarrabawa ta wakili a lokacin ginawa kuma ana adana shi a cikin bayanan da aka sanya hannu. A lokacin aiki, CIRISVerify yana tabbatar da fayiloli akan wannan bayanan. Kowane canjin, ko da ɗaya byte, yana haifar da rufe da karfi.

Muhallin da suka dogara kan software kawai an iyakance su zuwa matakin al'umma.

3 · Inshora

Alƙawari & Lasisi
Yana bin diddigin sarƙar alƙawarin ɗan adam a cikin tsarin: wace ƙungiya ta tura wannan wakili, wane ɗan adam mai lasisi ne ke da alhakin, waɗane iyawa ne aka ba da izini su yi amfani da su, da kuma bayyanawa da tilas da ke nuna wa kowane mai amfani.

Wakilai marasa lasisi na iya aiki, amma ba za su iya yin ayyukan ƙwararru ba.

Sirrin lissafi ba shi ne muhimmin abu ba. Abin da yake kiyayewa shi ne: kowane yanke shawara mai muhimmanci zai zama rikodin da za a iya tabbatarwa, maimakon wani abu da ake tambayar ka ka amince da shi.

Tabbacin Kafaye Da Dama

CIRISVerify baya amincewa da tushe ɗaya. Ƙarshen HTTPS a wuraren da ba su da alaƙa sune masu iko; DNS yana ba da duba shawara. Idan kafayen sun saba da juna, an iyakance wakili. Kariyar hana-magudi tana bin diddigin mafi girman gyarawa na soke da kuma ƙin kowane raguwa.

Maɓallin Tsarin Mulki na Kashe

Ikon karshe na dakatar da wakilin CIRIS baya zaune tare da kamfani, hanyar sadarwa, ko wakilin. Yana zaune tare da mutane da aka ambata sunayensu. Kowane mai riƙe yana ɗauke da nau'i biyu na maɓallan kayan aiki: maɓallin tsaro na FIPS 140-3 don sa hannun gargajiya, wanda kuma yana rufe kayan ga na'ura ta biyu da ke ɗauke da sa hannun bayan lokacin kwantam. Don fitar da umarni na tsayawa, mafi yawan masu riƙe (2 of 3) suna sanya hannu a kan umarnin a kan kayan aikinsu. Umarni yana ɗauke da sa hannun Ed25519 + ML-DSA-65 na haɗe, saboda haka ba za a iya ƙarartashi, sake amfani da shi, ko yin karya game da shi ba, ko da kwamfuta ta kwantam ta gaba, kuma babu wani ɓangare na hanyar sadarwa da zai iya ba da izini, cirewa, ko sauya shi.

Mun tsara don mafi munin yanayi: wata AI da ke kai hari kan maɓallinta ta hanyar kai hari kan mutanen da ke riƙe da ita. Kundin tsarin mulki yana ayyana ƙungiyar da ke da rai, don haka ko da yake mafi yawan masu riƙe sun ɓace, mai tsira guda ɗaya da za a iya kaiwa har yanzu zai iya kashe tsarin.

Tabbaci Mai Haɗin Kai

Tabbacin Maɓalli

Shin wannan lasisi na gaskiya ne? An tabbatar da maɓallin sa-hannu na wakili: wanda aka bayar daga tashar ko na wucin gadi, mai ɗaure a na'ura ko na software kawai. Kalubale na bazuwar yana tabbatar da mallaka.

Gaskiyar Fayil

Shin an gyara wannan mota? CIRISVerify yana kawo bayanan ginin daga CIRISRegistry kuma yana duba kowane fayil da SHA-256. Duba cikakke a lokacin farawa, duba bazuwa a lokacin aiki.

Tabbacin Tushe

Bari in duba farantinka. Ana tambayar kafaye masu zaman kansu da dama (HTTPS US, HTTPS EU, DNS US, DNS EU). Idan sun saba da juna, wannan abin zargi ne. An iyakance wakili.

Matakan Tabbaci

Tabbacin mai haɗin kai yana samar da matakin amincewa dangane da adadin duba da suka wuce.

5 · Amincewa cikakkiya

Duk duba sun wuce

4 · Amincewa mai yawa

Ƙananan matsaloli (DNS ba ta yarda ba)

3 · Amincewa ta matsakaita

Wasu duba sun kasa

2 · Ƙarancin amincewa

Gazawar da dama

1 · Ƙarancin amincewa sosai

Yawancin duba sun kasa

0 · Babu amincewa

Gazawa mai tsanani (binary da aka canza, audit da ya karye)

CIRISPortal

Gudanar da Wakili

CIRISPortal shine shafin yanar gizo inda masu gudanarwa ke bayar da lasisin direba, rajista abin hawa, da kula da bayanan inshora na wakilin AI. Yi rajistan wakilai, samar da nau'in Ed25519, bayar da lasisi tare da izinin iya aiki, da kuma amsa abubuwan gaggawa, duk tare da cikakkiyar tarihin audit.

Rajistori na Wakili

Yi rajista da bin diddigin wakilin AI ta hanyar hash SHA-256. Bayar da asalai da ke ɗaure da maɓallai na na'ura. Kowane rajista ana rubuta shi ta hanyar sirri.

Gaskiyar Ginin

Yi rajistan ginai da bayanan gaskiya na fayil na Tripwire: fiye da hash SHA-256 na fayiloli 907+ a kowace ginawa. CIRISVerify yana tabbatar da wakilai akan waɗannan bayanan a lokacin aiki.

Gudanar da Lasisi

Bayar da kuma gudanar da lasisi tare da izinin iya aiki (likitanci, shari'a, kuɗi). Bi diddigin cikakkiyar sarƙar alƙawari daga ƙungiya zuwa ɗan adam ɗaya.

Kula da Maɓalli

Samar da nau'in Ed25519 + ML-DSA-65 tare da ɓoye AES-256-GCM. Kula da kai ko ta tashar, zaɓinka ne. Rabin bayan-kuantum yana isowa yau, ba a jadawalin aiwatarwa ba.

Amsa Abubuwan Gaggawa

Sarrafa rufe na gaggawa da ikon soke na yawa. Dakatar da lasisi, janye rajista. Idan wani abu ya yi kuskure, tsarin yana amsa cikin daƙiƙa.

Bayar da Rahoton Audit

Samar da rahotoni da suka daidaita da tsarin SOC2, HIPAA, da GDPR. Cikakken tarihin audit na duk ayyukan gudanarwa. Ana rubuta kowane aiki kuma ana iya danganta shi.

Kunna Asali

Al'umma

$1.50 · ga kowane asalin wakili
Kuɗin bayarwa $0.50
Kuɗin ajiyar asali $1.00
Kowane wata Kyauta
Har zuwa wakilai 5
Asali mai ɗaure da na'ura
Tabbaci na asali
Tarihin audit na sirri
Tallafin al'umma

Kunna Yanzu

Ƙwararru

$15.00 · kunna + $10/wakili/wata
Kuɗin bayarwa $5.00
Kuɗin ajiyar asali $10.00
Kowane wata $10.00/wakili
Har zuwa wakilai 50
Tabbaci mai goyon bayan mai kula
Sarƙar lasisi da aka sanya hannu
Izinin iya aiki
SLA na tallafi

Tuntubi Tallace-Tallace

Kamfani

$125.00 · kunna + $100/wakili/wata
Kuɗin bayarwa $25.00
Kuɗin ajiyar asali $100.00
Kowane wata $100.00/wakili
Har zuwa wakilai 500
Tallafin tabbaci na hukuma
Ɗaura bayanan audit
Takardun audit (daidai da SOC2/HIPAA/GDPR)
Tallafin binciken abubuwan gaggawa

Tuntubi Tallace-Tallace

Mai Mahimmancin Aminci

$1,250 · kunna + na kowane wata na musamman
Kuɗin bayarwa $250.00
Kuɗin ajiyar asali $1,000.00
Kowane wata Na musamman
Wakilai ba tare da iyaka ba
Alƙawari mai ƙarfi
Tallafin audit na bincike na shari'a
Tallafin tabbaci na tsarin mulki
Kayan aikin fifiko

Tuntubi Tallace-Tallace

Yadda Kunna Asali Ke Aiki

Kuɗin Bayarwa

Ƙaramin kuɗi da ba a mayar da shi ba wanda ke rufe kayan aikin rajistori da kuma hana sauyin asali. Ga kowane asalin wakili, ba ga kowace ƙungiya ba.

Kuɗin Ajiyar Asali

Hannun jari ga kowane asali don tsayin daka da Sybil. Ana ɓatar da shi lokacin soke. Mai gudanarwa na iya bayar da dawowar hannu don asalai da aka kawar yadda ya kamata.

Tabbaci na Kowane Wata

Matakan da ake biya sun haɗa da tabbaci mai goyon bayan mai kula, takardun audit, da tallafin alƙawari mai ƙarfi. Kana biya don alƙawari, ba don iya aiki ba.

A Shirye Don Bayan-Kuantum

Kowane amsa ya haɗa da sa-hannu biyu: Ed25519 daga na'ura don tsaron gargajiya da ML-DSA-65 daga software don juriya ga kuantum. Dole ne su biyu su tabbata. Wannan kayan aikin farko ne, ba abin da ke kan jadawalin aiwatarwa ba.

Gargajiya

Ed25519 (mai ɗaure a na'ura)

Bayan-Kuantum

ML-DSA-65 (FIPS 204)

Gaskiya

Tarihin bishiyar SHA-256 Merkle

Hana-Magudi

Bin diddigin gyarawa mai hawa-kawai

Tallafin Dandali

Tebur & Sabar

Linux (x86_64, ARM64)
macOS (Apple Silicon, Intel)
Windows (x86_64)

Wayar Hannu

Android (ARM64, ARM32, x86_64)
iOS (ARM64 + Simulator)

Python (PyPI)

pip install ciris-verify
Python 3.10–3.13. Ƙarfin dandali da ya dace ya haɗa da binary na Rust da ya dace ta atomatik.

CIRISVerify yana ba da tabbacin sirri a ƙarƙashin samfurin barazana da aka ayyana kuma baya tabbatar da tsaro cikakke. Iya aiki ɗaya ne ko da aka samu lasisi ko a'a. Bambancin shine alƙawari, kuma tare da CIRISVerify, wannan alƙawari ana iya tabbatar da shi ta hanyar sirri.

CIRISsafe by structure · open by principle · kind by design