Ni Oṣu Kẹjọ Ọjọ 31, Ọdun 2020, idanwo gbogbo eniyan ti eto idibo eletiriki latọna jijin (lẹhinna tọka si DEG) ni lilo imọ-ẹrọ blockchain, ti o dagbasoke nipasẹ aṣẹ ti Igbimọ Idibo Central ti Russian Federation, waye.
Lati ni oye pẹlu eto idibo itanna tuntun ati loye kini ipa ti imọ-ẹrọ blockchain ṣe ninu rẹ ati kini awọn paati miiran ti a lo, a n bẹrẹ lẹsẹsẹ awọn atẹjade ti o yasọtọ si awọn solusan imọ-ẹrọ akọkọ ti a lo ninu eto naa. A daba bẹrẹ ni ibere - pẹlu awọn ibeere fun eto ati awọn iṣẹ ti awọn olukopa ninu ilana naa
System Awọn ibeere
Awọn ibeere ipilẹ ti o kan eto idibo eyikeyi jẹ kanna ni gbogbogbo fun idibo inu eniyan ti aṣa ati fun ibo eletiriki latọna jijin, ati pe o jẹ ipinnu nipasẹ Ofin Federal ti Oṣu Karun ọjọ 12.06.2002, 67 N 31.07.2020-FZ (gẹgẹbi atunṣe ni Oṣu Keje Ọjọ XNUMX, Ọdun XNUMX) "Lori Awọn iṣeduro ipilẹ awọn ẹtọ idibo ati ẹtọ lati kopa ninu idibo ti awọn ara ilu ti Russian Federation."
- Idibo ni awọn idibo ati awọn idibo jẹ aṣiri, laisi iṣeeṣe eyikeyi iṣakoso lori ifẹ ti ara ilu (Abala 7).
- Anfaani lati dibo yẹ ki o pese fun awọn eniyan ti o ni ẹtọ lọwọ lati dibo fun ibo yii.
- Oludibo kan - ibo kan, idibo "meji" ko gba laaye.
- Ilana idibo gbọdọ wa ni sisi ati gbangba si awọn oludibo ati awọn alafojusi.
- Iduroṣinṣin ti simẹnti idibo gbọdọ wa ni idaniloju.
- Ko yẹ ki o ṣee ṣe lati ṣe iṣiro awọn abajade idibo igba diẹ ṣaaju ki idibo ti pari.
Nitorina, a ni awọn alabaṣepọ mẹta: oludibo, igbimọ idibo ati oluwoye, laarin ẹniti a ti pinnu aṣẹ ti ibaraẹnisọrọ. O ti wa ni tun ṣee ṣe lati nikan jade a kẹrin alabaṣe - awọn ara ti o gbe jade ìforúkọsílẹ ti awọn ilu ni agbegbe (nipataki awọn Ministry of abẹnu Affairs, bi daradara bi miiran executive alase), niwon ti nṣiṣe lọwọ idibo ni nkan ṣe pẹlu ONIlU ati ibi ti ìforúkọsílẹ.
Gbogbo awọn olukopa wọnyi ṣe ajọṣepọ pẹlu ara wọn.
Ilana ibaraenisepo
Ẹ jẹ́ ká gbé ètò ìdìbò yẹ̀ wò ní ibùdó ìdìbò ìbílẹ̀, pẹ̀lú àpótí ìdìbò àti ìwé ìdìbò. Ni fọọmu ti o rọrun ni gbogbogbo, o dabi eyi: oludibo kan wa si ibudo idibo ati ṣafihan iwe idanimọ (iwe irinna). Igbimọ idibo agbegbe kan wa ni ibudo idibo, ti ọmọ ẹgbẹ rẹ jẹrisi idanimọ ti oludibo ati wiwa rẹ ninu atokọ oludibo ti a ṣajọ tẹlẹ. Ti o ba ti ri oludibo, ọmọ ẹgbẹ kan ti igbimọ fun oludibo ni iwe idibo, ati oludibo fi ami si fun gbigba iwe idibo naa. Lẹhin eyi, oludibo lọ si agọ idibo, o kun iwe idibo, o si gbe e sinu apoti idibo. Lati rii daju pe gbogbo awọn ilana ni o muna ni ibamu si ofin, gbogbo eyi ni abojuto nipasẹ awọn alafojusi (awọn aṣoju ti awọn oludije, awọn ile-iṣẹ ibojuwo gbogbo eniyan). Lẹ́yìn tí ètò ìdìbò bá ti parí, ìgbìmọ̀ ìdìbò, níwájú àwọn awòràwọ̀, máa ń ka ìbò náà, wọ́n sì gbé èsì ìdìbò kalẹ̀.
Awọn ohun-ini pataki fun didibo ni eto idibo ibile ni a pese nipasẹ awọn igbese iṣeto ati ilana ti iṣeto fun ibaraenisepo ti awọn olukopa: ṣayẹwo awọn iwe irinna awọn oludibo, wíwọlé tikalararẹ fun awọn iwe idibo, lilo awọn agọ idibo ati awọn apoti idibo ti o ni edidi, ilana fun kika awọn ibo, bbl .
Fun eto alaye, eyiti o jẹ eto idibo eletiriki latọna jijin, aṣẹ ibaraenisepo yii ni a pe ni ilana kan. Niwọn igba ti gbogbo awọn ibaraenisepo wa ti di oni-nọmba, ilana yii ni a le gbero bi algoridimu ti o jẹ imuse nipasẹ awọn ẹya ara ẹni kọọkan ti eto naa, ati ṣeto ti iṣeto ati awọn igbese imọ-ẹrọ ti awọn olumulo ṣe.
Ibaraẹnisọrọ oni nọmba fa awọn ibeere kan lori awọn algoridimu imuse. Jẹ ki a wo awọn iṣe ti a ṣe lori aaye ibile ni awọn ọna ṣiṣe alaye ati bii eyi ṣe ṣe imuse ninu eto DEG ti a gbero.
Jẹ ki a sọ lẹsẹkẹsẹ pe imọ-ẹrọ blockchain kii ṣe “ọta ibọn fadaka” ti o yanju gbogbo awọn ọran. Lati ṣẹda iru eto, o jẹ pataki lati se agbekale kan ti o tobi nọmba ti software ati hardware irinše lodidi fun orisirisi awọn iṣẹ-ṣiṣe, ki o si so wọn pẹlu kan nikan ilana ati ilana. Sugbon ni akoko kanna, gbogbo awọn wọnyi irinše nlo pẹlu blockchain Syeed.
Awọn ẹya ara ẹrọ eto
Lati oju-ọna imọ-ẹrọ, eto DEG jẹ sọfitiwia ati eka ohun elo (lẹhinna ti a tọka si STC), eyiti o dapọpọ akojọpọ awọn paati lati rii daju ibaraenisepo laarin awọn olukopa ninu ilana idibo ni agbegbe alaye iṣọkan.
Aworan ibaraenisepo ti awọn paati ati awọn olukopa ti eto DEG PTC ni a fihan ni aworan ni isalẹ.
Ti o le tẹ
Ilana idibo latọna jijin
Bayi a yoo ronu ni awọn alaye ilana ti ibobo itanna latọna jijin ati imuse rẹ nipasẹ awọn paati ti sọfitiwia DEG ati eka ohun elo.
Gẹgẹbi Ilana fun Idibo itanna latọna jijin, lati wa ninu atokọ ti awọn olukopa ninu idibo eletiriki latọna jijin, oludibo gbọdọ fi ohun elo kan silẹ lori oju-ọna Awọn iṣẹ Ipinle. Ni akoko kanna, awọn olumulo nikan ti o ni akọọlẹ ti o jẹrisi ati pe wọn ti ṣe afiwe ni aṣeyọri pẹlu iforukọsilẹ ti awọn oludibo, awọn olukopa ifọrọwerọ ti Eto Aifọwọyi Ipinle “Awọn Idibo” le fi iru ohun elo kan silẹ. Lẹhin gbigba ohun elo naa, data oludibo tun ṣayẹwo lẹẹkansii nipasẹ Igbimọ Idibo Central ti Russia ati gbejade si Oludibo Akojọ paati PTC DEG. Ilana igbasilẹ naa wa pẹlu gbigbasilẹ ti awọn idamọ alailẹgbẹ ninu blockchain. Awọn ọmọ ẹgbẹ ti igbimọ idibo ati awọn alafojusi ni aye lati wo atokọ naa nipa lilo ibi iṣẹ adaṣe adaṣe pataki kan ti o wa ni agbegbe ile igbimọ idibo naa.
Nigbati oludibo ba ṣabẹwo si ibudo idibo, o jẹri (fiwera pẹlu data iwe irinna) ati idanimọ ninu atokọ oludibo, bakannaa ṣayẹwo pe oludibo yii ko ti gba iwe idibo tẹlẹ. Koko pataki kan nibi ni pe ko ṣee ṣe lati fi idi rẹ mulẹ boya oludibo gbe iwe idibo ti o gba sinu apoti idibo tabi rara, nikan ni otitọ pe a ti gbe iwe idibo tẹlẹ tẹlẹ. Ninu ọran ti PTC DEG, ibẹwo oludibo kan duro fun ibeere olumulo kan si DEG portal jẹ oju opo wẹẹbu ti o wa ni vybory.gov.ru Gẹgẹbi ibudo idibo ibile, oju opo wẹẹbu ni awọn ohun elo alaye nipa awọn ipolongo idibo ti nlọ lọwọ, alaye nipa awọn oludije ati alaye miiran. Lati ṣe idanimọ ati ijẹrisi, ESIA ti Portal Awọn iṣẹ Ipinle ti lo. Nitorinaa, ero idanimọ gbogbogbo jẹ itọju mejeeji nigba lilo ati nigba ibo.
Lẹhin eyi, ilana ailorukọ bẹrẹ - oludibo ni a fun ni iwe idibo ti ko ni awọn ami idanimọ eyikeyi: ko ni nọmba kan, ko si ni ọna asopọ pẹlu oludibo ti o fun ni. O jẹ iyanilenu lati gbero aṣayan naa nigbati aaye idibo ba ni ipese pẹlu awọn ile-idibo eletiriki - ninu ọran yii, aibikita ni a ṣe bi atẹle: dipo iwe idibo iwe, a beere oludibo lati yan lati akopọ eyikeyi kaadi pẹlu koodu iwọle pẹlu eyiti yóò súnmọ́ ẹ̀rọ ìdìbò. Ko si alaye nipa oludibo lori kaadi, nikan koodu kan ti o pinnu iru iwe idibo ti ẹrọ yẹ ki o pese nigbati o ṣafihan iru kaadi kan. Pẹlu ibaraenisepo oni-nọmba kan patapata, iṣẹ akọkọ ni lati ṣe imuse algorithm ailorukọ gẹgẹbi, ni apa kan, ko ṣee ṣe lati fi idi data idanimọ olumulo eyikeyi, ati ni apa keji, lati pese agbara lati dibo nikan si awọn olumulo ti o a ti mọ tẹlẹ ninu atokọ naa. Lati yanju iṣoro yii, DEG PTK nlo algorithm cryptographic kan, ti a mọ ni agbegbe alamọdaju bi “Ibuwọlu itanna afọju.” A yoo sọrọ nipa rẹ ni awọn alaye ni awọn atẹjade atẹle, ati pe yoo tun ṣe atẹjade koodu orisun; o tun le gba alaye afikun lati awọn atẹjade lori Intanẹẹti nipa lilo awọn koko-ọrọ - “Awọn ilana idibo aṣiri cryptographic” tabi “Ibuwọlu afọju”
Lẹhinna oludibo kun iwe idibo ni aaye nibiti ko ṣee ṣe lati rii yiyan ti a ṣe (agọ pipade) - ti o ba wa ninu eto alaye wa oludibo dibo latọna jijin, lẹhinna iru aaye nikan ni ẹrọ ti ara ẹni olumulo. Lati ṣe eyi, olumulo ti kọkọ gbe lọ si agbegbe miiran - si agbegbe ailorukọ. Ṣaaju ki o to yipada, o le gbe asopọ VPN rẹ soke ki o yi adiresi IP rẹ pada. Lori agbegbe yii ni iwe idibo ti han ati yiyan olumulo ti ni ilọsiwaju. Awọn koodu orisun ti o nṣiṣẹ lori ẹrọ olumulo ti wa ni ṣiṣi lakoko - o le rii ni ẹrọ aṣawakiri.
Ni kete ti yiyan ba ti ṣe, iwe idibo naa jẹ fifipamọ sori ẹrọ olumulo nipa lilo ero fifi ẹnọ kọ nkan pataki kan, firanṣẹ ati gbasilẹ sinu paati "Ipamọ pinpin ati kika awọn ibo", itumọ ti lori blockchain Syeed.
Ọkan ninu awọn abuda pataki julọ ti ilana naa jẹ aiṣeeṣe mimọ awọn abajade ibo ṣaaju ki o to pari. Ni ibudo idibo ti aṣa, eyi ni idaniloju nipasẹ didimu apoti idibo ati abojuto nipasẹ awọn alafojusi. Ni awọn ibaraẹnisọrọ oni-nọmba, ojutu ti o dara julọ ni lati encrypt yiyan oludibo. Alugoridimu fifi ẹnọ kọ nkan ti a lo ṣe idilọwọ awọn abajade lati ṣafihan ṣaaju ki idibo ti pari. Fun eyi, ero kan pẹlu awọn bọtini meji ni a lo: bọtini kan (ti gbogbo eniyan), eyiti o jẹ mimọ si gbogbo awọn olukopa, ni a lo lati fi ohun naa pamọ. Ko le ṣe idinku pẹlu bọtini kanna; bọtini keji (ikọkọ) nilo. Bọtini ikọkọ ti pin laarin awọn olukopa ninu ilana idibo (awọn ọmọ ẹgbẹ ti awọn igbimọ idibo, iyẹwu gbangba, awọn oniṣẹ ti awọn olupin kika, ati bẹbẹ lọ) ni ọna ti apakan kọọkan ti bọtini naa jẹ asan. O le bẹrẹ yiyọkuro nikan lẹhin ti bọtini ikọkọ ti gba. Ninu eto ti o wa labẹ ero, ilana iyapa bọtini pẹlu awọn ipele pupọ: ipinya apakan ti bọtini laarin eto, ipinya bọtini ita ita eto, ati iran ti bọtini gbogbogbo ti o wọpọ. A yoo ṣafihan ni awọn alaye ilana ti fifi ẹnọ kọ nkan ati ṣiṣẹ pẹlu awọn bọtini cryptographic ni awọn atẹjade ọjọ iwaju.
Lẹhin ti awọn bọtini ti wa ni gba ati ki o gba lati ayelujara, awọn isiro ti awọn esi bẹrẹ fun wọn siwaju gbigbasilẹ ni blockchain ati awọn tetele fii. Ẹya kan ti eto labẹ ero ni lilo imọ-ẹrọ fifi ẹnọ kọ nkan homomorphic. A yoo ṣe apejuwe algorithm yii ni alaye ni awọn atẹjade ọjọ iwaju ati sọrọ nipa idi ti imọ-ẹrọ yii ṣe lo pupọ lati ṣẹda awọn eto idibo. Bayi jẹ ki a ṣe akiyesi ẹya akọkọ rẹ: awọn iwe idibo ti a fiweranṣẹ ti o gbasilẹ ni eto ṣiṣe iṣiro le ni idapo laisi idinku ni ọna ti abajade ti decrypting iru ciphertext apapọ yoo jẹ iye akopọ fun yiyan kọọkan ninu awọn iwe idibo. Ni akoko kanna, eto naa, dajudaju, ṣe imuse awọn ẹri mathematiki ti o tọ ti iru iṣiro kan, eyiti o tun gbasilẹ ninu eto iṣiro ati pe o le rii daju nipasẹ awọn alafojusi.
Ni isalẹ jẹ apẹrẹ ti ilana idibo.
Ti o le tẹ
Blockchain Syeed
Ni bayi ti a ti ṣe ayẹwo awọn ẹya akọkọ ti imuse ti eto idibo eletiriki latọna jijin, jẹ ki a dahun ibeere naa pẹlu eyiti a bẹrẹ - ipa wo ni imọ-ẹrọ blockchain ṣe ninu eyi ati awọn iṣoro wo ni o gba laaye lati yanju?
Ninu eto idibo latọna jijin ti a ṣe imuse, imọ-ẹrọ blockchain yanju awọn iṣoro kan pato.
- Awọn ipilẹ-ṣiṣe ni lati rii daju awọn iyege ti alaye laarin awọn ilana ti idibo, ati, akọkọ ti gbogbo, ibo.
- Aridaju akoyawo ti ipaniyan ati ailagbara ti koodu eto imuse ni awọn fọọmu ti smati siwe.
- Ni idaniloju aabo ati ailagbara ti data ti a lo ninu ilana idibo: atokọ ti awọn oludibo, awọn bọtini ti a lo lati encrypt awọn iwe idibo ni awọn ipele oriṣiriṣi ti ilana ilana cryptographic, ati bẹbẹ lọ.
- Pese ibi ipamọ data aipin, pẹlu alabaṣe kọọkan ti o ni ẹda kan patapata, timo nipasẹ awọn ohun-ini ti ipohunpo ninu nẹtiwọọki.
- Agbara lati wo awọn iṣowo ati orin ilọsiwaju ti idibo, eyiti o ṣe afihan ni kikun ninu pq Àkọsílẹ, lati ibẹrẹ rẹ si igbasilẹ ti awọn abajade iṣiro.
Nitorinaa, a rii pe laisi lilo imọ-ẹrọ yii, o fẹrẹ jẹ pe ko ṣee ṣe lati ṣaṣeyọri awọn ohun-ini pataki ninu eto idibo, ati igbẹkẹle ninu rẹ.
Awọn iṣẹ-ṣiṣe ti awọn blockchain Syeed ti a lo ti wa ni idarato nipasẹ awọn lilo ti smati siwe. Awọn adehun Smart ṣayẹwo idunadura kọọkan pẹlu awọn iwe idibo ti paroko fun ododo ti itanna ati awọn ibuwọlu “afọju”, ati tun ṣe awọn sọwedowo ipilẹ lori deede ti kikun iwe idibo ti paroko.
Pẹlupẹlu, ninu eto idibo eletiriki latọna jijin ti a gbero, paati “Ipamọ Pinpin ati kika awọn ibo” ko ni opin si awọn apa blockchain nikan. Fun ipade kọọkan, olupin ti o yatọ ni a le gbe lọ ti o ṣe awọn iṣẹ cryptographic akọkọ ti ilana idibo - kika awọn olupin.
Awọn olupin kika
Iwọnyi jẹ awọn paati ipinpinpin ti o pese ilana fun iran pinpin ti bọtini fifi ẹnọ kọ nkan iwe idibo, bakanna bi idinku ati iṣiro awọn abajade ibo. Awọn iṣẹ ṣiṣe wọn pẹlu:
- Ṣiṣe idaniloju iran pinpin ti apakan ti bọtini fifi ẹnọ kọ nkan idibo. Ilana iran pataki ni yoo jiroro ninu awọn nkan atẹle;
- Ṣiṣayẹwo deede ti iwe idibo ti paroko (laisi idinku rẹ);
- Ṣiṣe awọn iwe idibo ni fọọmu ti paroko lati ṣe agbejade ciphertext ikẹhin;
- Pinpin iyipada ti awọn abajade ipari.
Ipele kọọkan ti ipaniyan ti Ilana cryptographic ti wa ni igbasilẹ ni pẹpẹ blockchain ati pe o le ṣayẹwo fun deede nipasẹ awọn alafojusi.
Lati fun eto naa ni awọn ohun-ini pataki ni awọn ipele pupọ ti ilana idibo, awọn algoridimu cryptographic atẹle wọnyi ni a lo:
- Ibuwọlu itanna;
- Iforukọsilẹ afọju ti bọtini gbangba ti oludibo;
- Eto fifi ẹnọ kọ nkan ElGamal elliptic;
- Awọn ẹri imọ-odo;
- Pedersen 91 DKG (Pinpin Key generation) Ilana;
- Ilana pinpin bọtini ikọkọ ni lilo ero Shamir.
Iṣẹ iṣẹ cryptographic yoo jẹ ijiroro ni awọn alaye diẹ sii ninu awọn nkan atẹle.
Awọn esi
Jẹ ki a ṣe akopọ diẹ ninu awọn abajade agbedemeji ti ero ti eto idibo itanna latọna jijin. A ti ṣapejuwe ilana ni ṣoki ati awọn paati akọkọ ti o ṣe imuse, ati tun ṣe idanimọ awọn ọna lati ṣaṣeyọri awọn ohun-ini pataki fun eto idibo eyikeyi:
- Ijerisi oludibo. Eto naa n gba awọn ibo nikan lati awọn oludibo ti o rii daju. Ohun-ini yii jẹ idaniloju nipasẹ idamo ati ijẹrisi awọn oludibo, bakannaa gbigbasilẹ atokọ ti awọn oludibo ati otitọ ti pese iraye si iwe idibo ni blockchain.
- Àìdánimọ. Eto naa ṣe idaniloju aṣiri ti idibo, ti o wa ninu ofin ti Russian Federation; idanimọ ti oludibo ko le pinnu lati iwe idibo ti paroko. Ti ṣe imuse nipa lilo algorithm “Ibuwọlu afọju” ati agbegbe ailorukọ fun kikun ati fifiranṣẹ iwe idibo naa.
- Asiri ti ibo. Awọn oluṣeto ati awọn olukopa ibo miiran ko le rii abajade ti idibo naa titi ti o fi pari, ti ka awọn ibo ati awọn abajade ipari yoo pinnu. Aṣiri jẹ aṣeyọri nipasẹ fifi ẹnọ kọ nkan awọn iwe idibo ati ṣiṣe wọn ko ṣee ṣe lati yọkuro titi lẹhin ibo.
- Aileyipada data. Awọn alaye oludibo ko le yipada tabi paarẹ. Ibi ipamọ data alaileyipada ti pese nipasẹ pẹpẹ blockchain.
- Ijerisi. Oluwoye le rii daju pe a ka awọn ibo ni deede.
- Dede. Itumọ eto naa da lori awọn ipilẹ ti isọdọtun, ni idaniloju isansa ti “ojuami ikuna” kan.
orisun: www.habr.com