在线无码中文破解|日本影院一区二区三区|五月激情Av在线|国产香蕉视频一区|国产老熟女AAAA|云霸高清91视频|久久久www视频|在线熟女网站无码视频|国产精品 国产|韩日精品中文字幕

2006 年，軟件工程師 Michal Pospieszalski 發(fā)現(xiàn)了美國(guó)投票機(jī)的危險(xiǎn)缺陷，他表示這些缺陷至今仍威脅著美國(guó)大選。

波斯皮扎爾斯基受聘于選舉科學(xué)研究所，擔(dān)任首席技術(shù)官。他被派往位于內(nèi)布拉斯加州奧馬哈的選舉供應(yīng)商選舉系統(tǒng)與軟件公司（ES&S）的總部。他的任務(wù)是分析該公司的iVotronic投票制度。

一周多的時(shí)間里，Pospieszalski 發(fā)現(xiàn)了一系列問(wèn)題，包括“不良代碼實(shí)踐、后門、靜態(tài)密碼”，最重要的是，他所描述的完全缺乏“端到端加密證明”。

Pospieszalski 告訴解密在一次采訪中。“這意味著，即使有完美的外部安全措施，機(jī)器也不可能知道選票是否合法，或者是否被計(jì)算了兩次、三次、十次或一千次?！?/p>

當(dāng)今投票機(jī)缺少什么

區(qū)塊鏈安全和身份軟件公司的首席執(zhí)行官MatterFi波斯皮扎爾斯基表示，這種漏洞并不是假設(shè)性的；任何能夠訪問(wèn)投票機(jī)和選民登記系統(tǒng)的人都可以輕松利用它。

“你可以把同一張選票翻閱10遍——現(xiàn)在依然如此——它只會(huì)算10票，”他解釋道?！皰呙鑳x和計(jì)票機(jī)都不知道結(jié)果會(huì)怎樣。中央選區(qū)的計(jì)票機(jī)就會(huì)說(shuō)，‘哦，是10票?！?/p>

波斯皮扎爾斯基表示，選票和選民記錄系統(tǒng)的分離往往使得如果不參考原始紙質(zhì)記錄就無(wú)法進(jìn)行核對(duì)。

他說(shuō)：“每張選票都沒(méi)有匿名序列化，因此系統(tǒng)無(wú)法知道每張序列化的選票只需計(jì)算一次。”

Pospieszalski 表示，該解決方案涉及軟件（而非硬件），并且基于 20 世紀(jì) 80 年代首次開發(fā)的加密技術(shù)。大衛(wèi)·喬姆，一位開創(chuàng)數(shù)字現(xiàn)金并引入盲簽名的密碼學(xué)家，允許在不泄露交易內(nèi)容的情況下驗(yàn)證交易。

Chaum后來(lái)創(chuàng)立數(shù)字現(xiàn)金（一種早期的數(shù)字貨幣），并提出了一種加密投票系統(tǒng)，該系統(tǒng)在保持匿名的同時(shí)允許公開驗(yàn)證。他的工作為安全的電子投票和現(xiàn)代加密貨幣奠定了關(guān)鍵基礎(chǔ)，例如比特幣.

“你想要的是終端機(jī)器——中央計(jì)票機(jī)或選舉管理系統(tǒng)——獲得選票定義，并在每張選票上進(jìn)行Chaumian盲序列化，”Pospieszalski說(shuō)?！八裕拖裨诼迳即壙h一樣，打印出來(lái)的選票都有一個(gè)序列號(hào)。這個(gè)序列號(hào)并不能識(shí)別選民，但它會(huì)告訴中央選區(qū)的計(jì)票機(jī)，‘嘿，這是一張獨(dú)一無(wú)二的選票?！?/p>

“如果我看到兩個(gè)，那肯定有人作弊了，”他補(bǔ)充道?！坝绕涫强吹?0個(gè)?！?/p>

在 Pospieszalski 提出的模型中，將有三種計(jì)票方式：紙質(zhì)選票、傳統(tǒng)數(shù)字計(jì)票和第三次加密計(jì)票。

“作弊的典型表現(xiàn)是，數(shù)字計(jì)票顯示有100票，而加密計(jì)票顯示應(yīng)該只有90票，”波斯皮扎爾斯基說(shuō)，“現(xiàn)在你就知道有人注入了10票?！?/p>

安特里姆縣的經(jīng)驗(yàn)教訓(xùn)

2020 年，密歇根州安特里姆縣發(fā)生短暫的計(jì)票錯(cuò)誤，引發(fā)廣泛猜測(cè)，波斯皮扎爾斯基受聘進(jìn)行法醫(yī)分析。

“安特里姆縣的選票出現(xiàn)了大約2000票的翻轉(zhuǎn)，比如，前一天拜登得了2000票，第二天特朗普又得了2000票，”他回憶道?！皩?shí)際情況是，選票定義配置錯(cuò)誤，系統(tǒng)誤以為特朗普的選票是投給了拜登?！?/p>

他說(shuō)，當(dāng)使用更正后的定義文件重新掃描選票時(shí)，“一切都恢復(fù)正常了?！?/p>

波斯皮扎爾斯基強(qiáng)調(diào)，雖然這個(gè)錯(cuò)誤是技術(shù)性的，但事態(tài)的發(fā)展引發(fā)了公眾的懷疑。

“沒(méi)有發(fā)生大規(guī)模的惡意攻擊。但作為被媒體（尤其是右翼媒體）煽動(dòng)的選民，人們會(huì)想要得到答案，”他說(shuō)道，并補(bǔ)充說(shuō)，這種混亂正是端到端、鏈下加密證明旨在防止的。

不過(guò)，盡管他沒(méi)有發(fā)現(xiàn)遠(yuǎn)程黑客攻擊或軟件后門的證據(jù)，但波斯皮扎爾斯基表示，他在分析過(guò)程中發(fā)現(xiàn)了可能的選票注入跡象。

“如果你有一張選票上有42個(gè)選項(xiàng)，分析后發(fā)現(xiàn)有100張選票的42個(gè)選項(xiàng)填寫方式完全一樣，你會(huì)想：嗯，這可能不是真的，”他說(shuō)?！拔以诎蔡乩锬房h發(fā)現(xiàn)了一些證據(jù)。”

當(dāng)被問(wèn)及為何尚未實(shí)施加密選票序列化時(shí)，Pospieszalski 指出，系統(tǒng)根深蒂固，企業(yè)不愿做出改變，并補(bǔ)充說(shuō)，安全投票提案往往因過(guò)于復(fù)雜而無(wú)法獲得支持。

他說(shuō)：“他們提出了各種各樣非常難以實(shí)施的方案......人們會(huì)覺(jué)得，如果你是一家投票機(jī)制造商，這些方案就沒(méi)有任何意義?！?/p>

有多項(xiàng)技術(shù)旨在提高選舉安全性和信任度。今年4月，紐約州眾議員克萊德·瓦內(nèi)爾（Clyde Vanel）介紹一項(xiàng)使用區(qū)塊鏈技術(shù)來(lái)保護(hù)選民記錄和選舉結(jié)果的法案。區(qū)塊鏈已被推廣為安全投票的解決方案，Pospieszalski 認(rèn)為核心問(wèn)題并不需要那么復(fù)雜。

“你要做的是解決一個(gè)簡(jiǎn)單的問(wèn)題：準(zhǔn)確統(tǒng)計(jì)合法選票，”他說(shuō)。“額外的復(fù)雜性是不必要的。很多人推動(dòng)區(qū)塊鏈?zhǔn)且驗(yàn)樗芰餍?，但?shí)際上你并不需要它。”

相比之下，Pospieszalski 表示他的解決方案適用于當(dāng)前的機(jī)器。

“我只是說(shuō)：你看，把它升級(jí)到現(xiàn)有系統(tǒng)的軟件，并與 Dominion 和 ES&S 協(xié)同工作，然后你就可以打開或關(guān)閉它，”他說(shuō)。

當(dāng)被問(wèn)及如何實(shí)施時(shí)，波斯皮扎爾斯基建議由監(jiān)督選舉的司法管轄區(qū)制定立法或授權(quán)。

他解釋說(shuō)：“投票系統(tǒng)制造商及其客戶——各縣——需要更大的選區(qū)來(lái)推動(dòng)變革。如果法律規(guī)定到2028年或2032年，投票系統(tǒng)必須包含端到端加密證明，我們就可以開展業(yè)務(wù)了?！?/p>

他認(rèn)為，這樣做的好處是未來(lái)選舉更加透明，尤其是在信任脆弱的激烈競(jìng)爭(zhēng)中。