Tabbacin Sirri na Bayan-Kuantum
Kowane Wakili Yana Buƙatar Abu Uku
Kamar yadda kowane mota ke kan hanya.
CIRISVerify shi ne tushen amincewa na muhallin CIRIS. Lissafin sirri mai sa-hannu biyu na haɗin Ed25519 + ML-DSA-65 a matsayin ma'auni tun daga rana ta 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 na SHA-256 ga kowane fayil a cikin rarrabawar wakili a lokacin ginawa kuma ana adana shi a cikin manifest ɗin da aka sanya wa hannu. A lokacin aiki, CIRISVerify yana tabbatar da fayiloli da wannan manifest ɗin. Kowane sauyi, ko da na byte ɗaya ne, yana tilasta rufe tsarin.
Muhallin da suka dogara kan software kawai an iyakance su zuwa matakin al'umma.
3 · Inshora
Alhaki & Lasisi
Yana bin diddigin sarƙar alhaki ta ɗan-adam-a-cikin-tsari: wace ƙungiya ce ta tura wannan wakilin, wane ɗan adam mai lasisi ne ke da alhakin, waɗanne iyawa ne aka ba su izinin amfani da su, da kuma bayyanawar dole da ake 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.
HTTPS yana da iko. DNS yana ba da shawara.
Tabbacin Kafaye Da Dama
CIRISVerify ba ya amincewa da tushe guda ɗaya kawai. Tashoshin ƙarshe na HTTPS a yankuna masu zaman kansu su ne masu cikakken iko; DNS yana ba da dubawa na ƙarin tabbaci (cross-check) a matsayin shawara. Idan kafafen sun saba da juna, an iyakance wakilin. Kariyar hana koma-baya tana bin diddigin mafi girman lambar gyaran sokewa da aka gani kuma tana ƙin duk wani raguwa.
Wata maɓalli wadda babu wanda ke cikin tsarin zai iya kashe ta.
Maɓallin Kashe na Tsarin Mulki
Ikon ƙarshe na dakatar da wakilin CIRIS ba ya tare da kamfani, hanyar sadarwa, ko wakilin. Yana tare da mutane da aka ambata sunayensu. Kowane mai riƙe yana ɗauke da maɓallan na'ura guda biyu: maɓallin tsaro na FIPS 140-3 don sa hannun gargajiya, wanda kuma yake rufe kayan aiki don na'ura ta biyu da ke ɗauke da sa hannun bayan-kuantum. Don kunna umarnin dakatarwa, mafi yawan masu riƙe (2 cikin 3) suna sanya hannu a kan umarnin a kan na'urorinsu. Umarnin yana ɗauke da sa hannun haɗe na Ed25519 + ML-DSA-65, saboda haka ba za a iya ƙirƙira shi, sake amfani da shi, ko yin na bogi ba, ko da ta kwamfutar kuantum ta gaba, kuma babu wani ɓangare na hanyar sadarwa da zai iya ba da izini, sokewa, 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.
Cikakken binciken baya.
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 rajistarka. Ana tambayar tushe masu zaman kansu da dama (HTTPS US, HTTPS EU, DNS US, DNS EU). Idan sun saba da juna, wannan abin zargi ne. An iyakance wakilin.
Matakan Tabbaci
Haɗaɗɗen tabbacin yana samar da matakin amincewa dangane da yawan duban da suka yi nasara.
5 · Amincewa cikakkiya
Duk duba sun wuce
4 · Amincewa mai yawa
Ƙananan matsaloli (rashin jituwa a shawarar DNS)
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)
Wurin da ake bayar da lasisi.
CIRISPortal
Yana aiki kai tsaye a portal.ciris.ai
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 rajistar ginawa tare da bayanan gaskiyar fayil na Tripwire: hash na SHA-256 na fayiloli sama da 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 alhaki daga ƙungiya zuwa ɗan adam ɗaya.
Kula da Maɓalli
Samar da maɓallan ma'aurata na haɗe na Ed25519 + ML-DSA-65 tare da ɓoyewar nau'in “envelope” ta AES-256-GCM. Kula da kai ko ta tashar, zaɓinka ne. Rabin bayan-kuantum yana samuwa a yau, ba wai an shirya shi kawai 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.
Asali shine tushe. Tabbaci shine ƙima.
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
Ƙ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
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
Mai Mahimmancin Aminci
$1,250 · kunna + 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
✓ Ƙarfafa ɗaukar alhaki
✓ Tallafin audit na bincike na shari'a
✓ Tallafin tabbaci na ƙa'idojin doka
✓ Damar fifiko ga kayan aikin tsari
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
Jari ga kowane asali don kariya daga hare-haren Sybil. Ana asarar sa lokacin da aka soke asali. Mai gudanarwa na iya mayar da jarin da hannu idan an janye asali yadda ya kamata.
Tabbaci na Kowane Wata
Matakan da ake biya sun haɗa da tabbaci mai goyon bayan mai kula, takardun bincike, da ƙarin tallafin ɗaukar alhaki. Kuna biya ne don ɗaukar alhaki, ba don iyawa 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)
Bayyane
Tarihin bishiyar SHA-256 Merkle
Hana komawa baya
Bin diddigin gyarawa da ba ya komawa baya
Tebur. Wayar hannu. Sabar.
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. Wheel na dandali na musamman ya haɗa da binary na Rust da ya dace ta atomatik.
CIRISVerify yana ba da tabbacin lissafin sirri a ƙarƙashin samfuran barazana da aka ayyana kuma ba ya tabbatar da tsaro cikakke. Iyawar tana nan ɗaya ce ko da an ba da lasisi ko ba a ba da ba. Bambancin shi ne alhaki, kuma tare da CIRISVerify, wannan alhakin ana iya tabbatar da shi ta hanyar lissafin sirri.