stanford-oval/wikipedia huggingface dataset:
雪崩工作室
历史 > 背景

2003年，林斯·勃洛姆堡与克里斯托弗·桑德伯格两人合作创办了雪崩工作室。在此之前，桑德伯格曾为電子遊戲發行商，并发行过艺电旗下的FIFA系列等游戏。他们先前一同于Paradox Interactive任职，2001年第二季度，两人离职并创办了Rock Solid工作室。工作室曾与阴谋娱乐（英语：）合作开发过一款《异形魔怪》游戏，改编自环球影业的同名系列电影（英语：），原定于2003年在PC、PS2、Xbox以及任天堂GameCube上发行。在此期间，另一家位于斯德哥尔摩的游戏公司Starbreeze Studios（英语：）宣布其将收购Rock Solid。未曾想两公司达成的协议遭到前者破坏，收购被迫中止。除此之外，環球影業决定取消“异形魔怪”项目的研发，导致Rock Solid最终破产。桑德伯格及博洛姆堡亦因此失去职业，负债累累。2003年，两人最终决定重新开始，并与其他六名雇员一同创办了雪崩工作室。桑德伯格于后来回忆此事称，工作室初创于一片混乱，并将Rock Solid倒闭归咎于过分轻信他人。
历史 > 2003–2010

在为公司命名时，桑德伯格、博洛姆堡以及公司其他雇员列出了一份二战时期军事码的清单，并最终选定以入侵義大利的“雪崩”行动作为工作室名称。2003年，公司开始开发《正当防卫》的原型项目——《Rico: Terror in the Tropics》。该项目由桑德伯格亲自操刀，并成为雪崩工作室的第一款游戏。他亦向发行商Eidos Interactive介绍了该游戏的概念，并为其所接纳。根据桑德伯格的想法，在这款游戏中，玩家可以“从空中跳到车顶，并且继续前进”。2006年，《正当防卫》于Windows、PS2以及Xbox 360平台发行。桑德伯格称之为“工作室的核心”，因为这是他们开发的首款游戏。
《正当防卫》发售之后，雪崩工作室开始为《猎人（英语：）》提供技术支持。该游戏原本由Emote Games研发与销售，2010年2月18日，雪崩工作室收购了其特许经营权。由于《猎人》为一款在线激活游戏，故在当月24日，雪崩工作室成立了一家子公司“Expansive Worlds”，以继续研发并为其提供后续支持。新成立的工作室亦会进行一些新网络游戏项目的开发。
在致力于开发《猎人》的同时，工作室亦在进行其他两款游戏的研发，分别为《AionGuard（俄语：）》与《正当防卫2》。前者为一款奇幻电子游戏，唯遭到搁置。后者则于2008年首度亮相。该游戏以雪崩工作室的室内游戏引擎Apex 2.0驱动，进行了部分改进，并加入其他一些新颖要素。其原本定于年内发售，但是错过了预定的发售日期。同年，因两个项目遭到取消，雪崩工作室蒙受了3500万美元的损失，并被迫辞退了77名员工。根据后来泄露出的消息，项目之一为《阿卡狄亚》续作，系列曾由THQ发行。此番变故之后，桑德伯格宣布公司未来将继续做一个小工作室。2009年，《正当防卫2》仍旧未能发布。5月，又有20多名员工遭到解雇。尽管不断裁员，《正当防卫2》开发仍未停滞，并于2010年3月正式发行。
历史 > 2011–2018

在《正当防卫2》完成之后，雪崩工作室开始尝试新的项目，并于2011年3月30日公布了一款新的数字发行游戏——《变节行动（英语：）》。游戏研发团队还与世嘉进行了接洽，以期用Apex引擎打造这款自主知识产权的数字发行游戏。相较于先前几款游戏，《变节行动》的开发周期缩短许多，并于2011年10月14日最终发售。
2011年6月15日，雪崩工作室宣布将在纽约开办一间新的工作室，11月17日正式开始运营。《正当防卫》系列交由其进行研发。根据计划，这是一款3A游戏，并会于2014年在PC及次世代主机平台发布，项目代号为“曼巴（Project Mamba）”。新的工作室坐落于紐約蘇豪區，由大卫·格里恩斯主管，他曾于动视以及雅达利任职。根据其说法，雪崩工作室之所以选择在纽约设立新的工作室，是看中了这里竞争较小，并且其意图振奋此地的游戏行业。
2012年，雪崩工作室又将目光投向新的游戏——《疯狂麦克斯》。在此之前，工作室曾为不同发行商开发过多款末日幻想风格游戏，但都遭到搁置。而華納兄弟互動娛樂又为他们提供了一次新的机会，基于《衝鋒飛車隊系列電影》开发一款电子游戏。系列暨导演乔治·米勒在游戏开发前期提供了部分咨询。2010年，《戰神II》总监科里·巴罗格（英语：）亦加入了工作室，他先前曾与米勒一起参加过另一款《疯狂麦克斯》游戏的研发，这为两款游戏添上了令人困惑的联系。2012年，科里离职。2014年8月，雪崩工作室公布其数个新项目正在同步推进，并称2015年将是工作室成立以来最为盛大的一年。除此之外，斯德哥尔摩工作室也将迁入更大的办公场所，以便今后扩张。《疯狂麦克斯》原计划于2014年发售，尔后被延期至2015年9月。
就在瑞典工作室专注开发《疯狂麦克斯》同时，纽约工作室也开始了《正当防卫3》的开发。其工作早在2012年初便已开始。因先前的《正当防卫》系列皆由瑞典工作室开发，故这一次交由了纽约工作室，来为该系列提供新的开端。这亦是在Eidos Interactive为史克威尔艾尼克斯收购之后发行的第一款游戏。雪崩工作室还曾派遣游戏团队前往哥斯达黎加丛林考察当地环境与地貌，从而为《疯狂麦克斯》以及《正当防卫3》的游戏世界提供灵感。
除了这两款游戏，2014年12月15日，系列独立资料片《猎人：原始》也在Steam平台上开放抢先体验，只是在该作中，游戏的对象变为了恐龙。次年3月31日，游戏完整版正式上线。随后，公司发布了其首款移动端游戏——《喧闹都市》，这是一款回合制策略游戏，于7月7日正式放出。
2015年，公司宣布纽约工作室与斯德哥尔摩工作室都进行了小幅裁员，因为公司正对项目进行重大调整，故在此阶段不能维持多个庞大的游戏团队。2016年6月，雪崩工作室宣布《正当防卫2》多人模式总设计师卡梅伦·富特（英語：）入职，为工作室当前及未来的项目工作。
2016年12月8日，雪崩工作室发布了《猎人：荒野的召唤（英语：）》首支预告片，并于2017年2月16日正式发售。
历史 > 2018年至今

2018年5月，公司宣布于瑞典马尔默另外开设一间工作室。
当月，雪崩工作室又与Id Software达成合作，共同开发《狂怒2》。在Game Informer的一次采访中，桑德伯格透露工作室将致力于打造自主知识产权游戏，除与大型发行商合作之外，公司会更加专注于自主发行。
2018年5月30日，丹麦北方影业（英语：）宣布以1.17亿欧元的价格全资收购雪崩工作室。6月，工作室公布了一款第一人称射击游戏——《零世代》，预计于2019年发布。6月10日的E3游戏展上，《正当防卫4》正式亮相，并于12月4日开始发行。25日，工作室宣布有六个项目正在同步开发。
理念

雪崩工作室自创立之日，便一直致力于开发開放世界沙盒游戏，并力图达到业内顶尖。与此同时，其还灵活处理市场变化，不被商业模式所禁锢。工作室还努力提高游戏的耐玩性。桑德伯格将雪崩工作室视作一家独立公司，并时常捍卫其知识产权。他还认为游戏开发者不应该过分看重于盈利。因此，工作室很少会开发多人模式游戏，因为他们认为这种做法对游戏本身并无意义。在规划未来的项目时，工作室会选择他们热衷且容易释放创意的项目。同样，他们只会开发自己喜爱且可以为他人带来快乐的游戏。
桑德伯格称公司内部的关系就像家庭一样。他与博洛姆堡都没有自己的办公室，以便于和员工建立更加亲密的关系。两人也会密切参与进行中的项目。
游戏 > 开发游戏

| 年份 | 游戏名 | 平台> PS2 | 平台> PS3 | 平台> PS4 | 平台> Lin | 平台> Mac | 平台> Win | 平台> XBOX | 平台> X360 | 平台> XONE | 平台> iOS | 平台> 安卓 | 发行商 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2006 | 正当防卫 | 是 | 否 | 否 | 否 | 否 | 是 | 是 | 是 | 否 | 否 | 否 | Eidos Interactive |
| 2009 | 猎人（英语：） | 否 | 否 | 否 | 否 | 否 | 是 | 否 | 否 | 否 | 否 | 否 | Emote Games |
| 2010 | 正当防卫2 | 否 | 是 | 否 | 否 | 否 | 是 | 否 | 是 | 否 | 否 | 否 | Eidos Interactive |
| 2011 | 变节行动（英语：） | 否 | 是 | 否 | 否 | 否 | 是 | 否 | 是 | 否 | 否 | 否 | 世嘉 |
| 2015 | 猎人：原始（英语：） | 否 | 否 | 否 | 否 | 否 | 是 | 否 | 否 | 否 | 否 | 否 | Expansive Worlds（雪崩工作室子公司） |
| 2015 | 喧闹都市 | 否 | 否 | 否 | 否 | 否 | 否 | 否 | 否 | 否 | 是 | 是 | 雪崩工作室 |
| 2015 | 疯狂麦克斯 | 否 | 否 | 是 | 是 | 是 | 是 | 否 | 否 | 是 | 否 | 否 | 華納兄弟互動娛樂 |
| 2015 | 正当防卫3 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 史克威尔艾尼克斯 |
| 2017 | 猎人：荒野的召唤（英语：） | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 雪崩工作室 |
| 2018 | 正当防卫4 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 史克威尔艾尼克斯 |
| 2019 | 狂怒2 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 贝塞斯达软件 |
| 2019 | 零世代（英语：） | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 是 | 否 | 否 | 雪崩工作室 |
游戏 > 正当防卫系列

《正当防卫》为開放世界动作冒险系列游戏，主角为（英語：），供职于一家军事机构。该系列以允许玩家自由探索游戏世界并制造混乱而知名。游戏玩法围绕枪械、爪钩（英语：）及降落伞展开。然而，初代《正当防卫》并未受到评论家们特别青睐。但其后继者《正当防卫2》受到了一致赞扬。汇总媒体Metacritic对其PC版给出了84/100的分数。一些评论家盛赞其为有史以来最好玩的沙盒射击类游戏。《正当防卫2》相较于前作受到了广泛欢迎，超过200万玩家体验了试玩版，并有600多万玩家购买了此游戏。但因游戏并未开发多人模式，一位模组制作者便在PC平台上开发了一个可千人同图的多人游戏模组。雪崩工作室随后为其提供了支持。2013年12月16日，工作室放出官方补丁，并于steam平台上面向已购买用户提供免费下载。2015年12月，《正当防卫3》正式面世，发布于Microsoft Windows、PlayStation 4以及Xbox One平台上。2018年12月，系列最近一款《正当防卫4》发行，但其PC版获得了褒贬不一的评价桑德伯格将史克威尔艾尼克斯视为长期合作伙伴。而在2015年E3游戏展史克威尔艾尼克斯的新闻发布会上，史克威尔艾尼克斯美国的CEO菲尔·罗杰斯（英語：）称《正当防卫》系列可与其他史克威尔艾尼克斯经典游戏相提并论。
游戏 > 疯狂麦克斯

《疯狂麦克斯》为雪崩工作室除《正当防卫》之外的首款3A游戏，也是其首款授权电子游戏。游戏追随主角麥斯·洛克坦斯基进行历险，于废土中寻找自己的爱车。该游戏原本计划2012年进行展示，但最终推迟到2013年E3游戏展（英语：）才得以亮相。其原本计划登陆Microsoft Windows、PlayStation 3、PlayStation 4、Xbox 360以及Xbox One平台，但PlayStation 3及Xbox 360版本因硬件限制而被取消，取而代之的是Linux版本。
游戏 > 其他项目

游戏团队还致力于开发《猎人（英语：）》，一款免费狩猎网游。该游戏取得了商业上的巨大成功，并为雪崩工作室带来了丰厚收益。这也是工作室对免费商业模式的一次试探。另一款游戏《变节行动（英语：）》为雪崩工作室的原创游戏，该游戏是一款清版射击游戏，灵感汲取自《赤色要塞》等电影。开发团队希望它可以如同2010年电影《暗影情节（英语：）》一样重塑经典。游戏最终收到整体积极的评价。工作室首部移动端游戏——《喧闹都市》也在2015年7月正式公布 。这是一款策略游戏，取材于1960年代美国的自行车文化。雪崩工作室还接手了史克威尔艾尼克斯所开发游戏《最終幻想XV》中的飞艇部分。但据泄露的消息，后者只向工作室提供了一些信息，而未与之一起工作。
工作室亦曾有一些项目遭到取消。2009年，雪崩公布了一款战神风格游戏《AionGuard》。这款游戏原计划为開放世界奇幻游戏，以第一次世界大战中的武士、侍以及骑士作为其中角色。游戏灵感来源于《星際大戰》，以及弗兰克·赫伯特与迈克尔·莫库克（英语：）两人的作品。但在2010年，该项目被无限期延迟。2012年时，公司宣称正在构思一款非超人漫画书类型游戏，但项目于2014年停滞。工作室还曾几乎与LucasArts达成合作，以开发一款基于《星際大戰》宇宙的开放世界游戏。另据曝光还曾有一款蒸汽朋克主题的游戏正在制作中，但随后也遭搁置。
2018年5月14日，贝塞斯达软件宣布将由雪崩工作室领衔，偕Id Software共同开发《狂怒2》，并将于Windows、Xbox One及PlayStation 4平台发布。
馬修·凱恩

| 馬修·凱恩 |
| --- | --- |

出生: Matthew Robert Kane  (1991-01-18) 1991年1月18日（33歲） 英國布里斯托
公民权: 美國英國雙重國籍
职业: 演員
活跃时期: 2001–現在
馬修·凱恩（Matthew Robert Kane，1991年1月18日—）是英國的一位演員，但他也具有美國的雙重國籍。凱恩在ABC電視劇童話鎮第三季中飾演John Darling角色。他也出演過多部電影。
參考資料

↑  .   [2016-05-01]. （原始内容存档于2012-10-12）.  （页面存档备份，存于）
細柳站

细柳站（：／ Seryu yeok */?）是首都圈電鐵1號線京釜線路段沿線的一座地面車站，位於韓國京畿道水原市勸善區長芝洞（朝鲜语：）。
車站結構

上行方向設有副本線，下行方向只有道床的2面3線混合式月台，但只使用2、3號月台（2面2線）。除此以外，中間幹線列車使用複線的通過線（京釜1線）。
只設1個出口，設有月台幕門。
車站結構 > 月台配置

| 月台 | 路線 | 目的地 |
| --- | --- | --- |
| 2 | ●首都圈電鐵1號線 | 烏山、平澤、天安、牙山、新昌方向 |
| 3 | ●首都圈電鐵1號線 | 水原、九老、首爾站、清涼里、光大學方向 |
| 4 |  | 軍用線 |
历史

1954年3月10日：以信號所開始營業。
1984年3月1日：升格為配置簡易站。
1987年6月18日：新建站舍。
2003年4月30日：首都圈電鐵1號線延長開通（水原－餅店間7.2公里），升格為普通站。
2014年7月10日：降格為委托站。
车站周边

劝善中学
南水原初等学校
水原空軍基地
運量

| 路線 | 每日平均乘車人數（人次）> 2011年 | 每日平均乘車人數（人次）> 2012年 | 每日平均乘車人數（人次）> 2013年 | 每日平均乘車人數（人次）> 2014年 | 每日平均乘車人數（人次）> 2015年 | 每日平均乘車人數（人次）> 2016年 | 每日平均乘車人數（人次）> 2017年 | 每日平均乘車人數（人次）> 2018年 | 每日平均乘車人數（人次）> 2019年 | 每日平均乘車人數（人次）> 2020年 | 每日平均乘車人數（人次）> 2021年 | 備註 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1號線 | 9,669 | 9,594 | 9,369 | 8,719 | 8,278 | 8,352 | 8,259 | 7,827 | 7,727 | 5,040 | 5,018 |  |
參考資料

↑  수인선을 경부선과 연결하기 위해 수인선 수원역 - 고색역 사이에서 분기해 세류역과 연결하려 했으나 지역 주민들의 지하화 요구에 따른 재설계로 인한 예산 문제와 단거리로 지상과 지하를 이음에 따라 발생하는 급경사라는 기술적 문제로 취소되었다.  （页面存档备份，存于）
↑  정보공개 공개자료실 （页面存档备份，存于） （页面存档备份，存于）, 코레일 (2009년은 철도정보 일반자료실 （页面存档备份，存于） （页面存档备份，存于）)
馬修·勞倫斯

| Matthew Lawrence |
| --- | --- |

出生: Matthew William Lawrence  (1980-02-11) 1980年2月11日（44歲） Abington Township, Pennsylvania, U.S.
职业: 演員
活跃时期: 1984–現在
馬修·勞倫斯（Matthew William Lawrence，1980年2月11日—）是美國的一位演員。他最著名的作品是在電影欺騙中擔任主演，以及在ABC情景喜劇男孩看世界中出演Jack Hunter角色。
參考資料

↑  . Filmreference.com. 1980-02-11  [2010-07-27]. （原始内容存档于2020-08-03）.  （页面存档备份，存于）
↑  .   [2016-03-22]. （原始内容存档于2020-10-15）.  （页面存档备份，存于）
紀伊浦神站

紀伊浦神站（日语：／ Kii-Uragami eki */?）是位於和歌山縣東牟婁郡那智勝浦町大字浦神，屬於西日本旅客鐵道（JR西日本）的紀勢本線（紀國線）車站。
歷史

1936年（昭和11年）12月11日 : 國鐵紀勢中線下里站至串本站之間開通，此站啟用。
1940年（昭和15年）8月8日 - 江住站至串本站之間開通，同時路線改名為紀勢西線。
1959年（昭和34年）7月15日 - 三木里站至新鹿站之間開通，同時路線改名為紀勢本線。
1985年（昭和60年）3月14日 : 成為無人車站。
1987年（昭和62年）4月1日 : 伴隨國鐵分割民營化，車站由西日本旅客鐵道（JR西日本）營運。
車站構造

本站為設有1面2線島式月台的地面車站。站房與月台之間設有平交道和遮斷機。此站是由新宮站管理的無人車站。站房在啟用當時已經存在，現時站內的售票櫃臺和小型行李服務櫃臺長期關閉。本站沒有設置自動售票機，而乘車站證明票發票機已經損壞（截至2014年8月）。
車站構造 > 月台

| 月台 | 路線 | 方向 |
| --- | --- | --- |
| 1 |  紀國線 | 串本、紀伊田邊、和歌山方向 |
| 2 |  紀國線 | 紀伊勝浦、新宮方向 |
以上的路線名是使用旅客資訊上的名稱（愛稱）。
1號月台是靠近車站大樓。
使用狀況

以下列出近年1日平均乘車人次。
| 年度 | 一日平均 乘車人次 |
| --- | --- |
1998年: 88
1999年: 81
2000年: 65
2001年: 48
2002年: 44
2003年: 45
2004年: 47
2005年: 42
2006年: 41
2007年: 39
2008年: 38
2009年: 37
2010年: 32
2011年: 32
2012年: 34
2013年: 26
2014年: 24
2015年: 19
2016年: 25
2017年: 19
車站周邊

國道42號
嚴島神社
弁天崎
近畿大學 水產研究所浦神實驗場
鹽竈神社
那智浦神郵局
注腳

1 2 3 4 5  曾根悟（日语：）（監修）. 朝日新聞出版分冊百科編集部（編集） , 编. . 朝日百科週刊. 25號 紀勢本線、參宮線、名松線. 朝日新聞出版. 2010-01-10: 18–21.
↑  『和歌山縣統計年鑑』及『和歌山縣公共交通機關等資料集』
相關條目

日本鐵路車站列表 Ki
外部連結

紀伊浦神｜車站資訊：JR出門網 - 西日本旅客鐵道
鞍瓢蜡蝉属

| 鞍瓢蜡蝉属 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
纲：: 昆虫纲 Insecta
目：: 半翅目 Hemiptera
亚目：: 頸喙亞目 Auchenorrhyncha
科：: 瓢蜡蝉科 Issidae
亚科：: 瓢蜡蝉亚科 Issinae
属：: 鞍瓢蜡蝉属 Celyphoma Emeljanov, 1971

种
 见正文
鞍瓢蜡蝉属（学名：Celyphoma）是瓢蜡蝉科下的一个属。
下属物种

本属包括以下物种：
Celyphoma atomata (Mitjaev, 1971)
Celyphoma biarmata Chelpakova, 1989
叉突鞍瓢蜡蝉 Celyphoma bifurca Meng & Wang, 2012
Celyphoma bogutica Mitjaev, 1995
Celyphoma chelifer Lukjanova, 1993
Celyphoma coelimontana Emeljanov, 1978
Celyphoma (Stygiata) contigua (Emeljanov, 1982)
Celyphoma corrugata Emeljanov, 1978
Celyphoma dietrichi Anufriev, 2004
Celyphoma dilatata Emeljanov, 1978
Celyphoma dzhungarica Mitjaev, 1995
Celyphoma emeljanovi Anufriev, 2004
Celyphoma (Stygiata) ephedrae (Emeljanov, 1972)
Celyphoma fruticulina (Emeljanov, 1964)
Celyphoma furcata Lukjanova, 1993
甘肃鞍瓢蜡蝉 Celyphoma gansua Chen, Zhang & Chang, 2014
Celyphoma glareosa Mitjaev, 1995
Celyphoma (Celyphona) gobica (Emeljanov, 1982)
Celyphoma gultchense Anufriev, 2004
贺兰鞍瓢蜡蝉 Celyphoma helanense Che, Zhang et Wang
黄氏鞍瓢蜡蝉 Celyphoma huangi Mitjaev, 1995
Celyphoma issykkulica Chelpakova, 1989
Celyphoma karatavica Mitjaev, 1995
Celyphoma karatepica (Dlabola, 1961)
Celyphoma loginovae Anufriev, 2004
Celyphoma modesta Lukjanova, 1993
Celyphoma modestula Anufriev, 2004
Celyphoma nigrimontana Emeljanov, 1978
Celyphoma obnoxia Mitjaev, 1995
Celyphoma ogusica Chelpakova, 1989
Celyphoma (Celyphona) petrensis (Emeljanov, 1972)
四突鞍瓢蜡蝉 Celyphoma quadrupla Meng & Wang, 2012
Celyphoma (Celyphona) spiraeae (Mitjaev, 1967)
Celyphoma (Celyphona) tumida (Emeljanov, 1982)
杨氏鞍瓢蜡蝉 Celyphoma yangi Chen, Zhang & Chang, 2014
波哈馬級護衛艦

| 波哈馬級護衛艦   Pohjanmaa-class corvette> 概觀 |
| --- | --- |
艦種: 護衛艦
擁有國:  芬兰
前型:  勞馬級飛彈快艇（英语：） 哈曼馬級布雷艦（英语：） 波哈馬級布雷艦（英语：） 
數量: 4
製造廠: 勞馬海事建造公司（英语：）
單艘造價: 12億歐元（估計）
動工: 2022年（預計）
技术数据
排水量: 大約3,300公噸（3,200長噸；3,600短噸）
全長: 105米（344英尺）
全寬: 15米（49英尺）
动力: CODLAG
續航距離: >25節（46每小時；29英里每小時）
武器裝備:  1門波佛斯57公厘L/70艦炮（英语：） 32枚RIM-162飛彈 8枚天使飛彈（Gabriel） 20枚水雷 6枚Torpedo 47輕型魚雷（英语：） 
電子設備:  Saab Electronic Defence Systems 9LV戰鬥管理系統（英语：） 
波哈馬級護衛艦，為芬蘭「艦隊2020」（芬蘭語：，英語：）計劃產物，為芬蘭海軍史上噸位最大的水面作戰艦艇
。
同型艦

| 艦名 | 舷號 | 開工 | 下水 | 服役 |
| --- | --- | --- | --- | --- |
| Pohjanmaa |  | 2019 |  | 2023 |


|  |  |  |  | 2028 |
參見

護衛艦
芬蘭軍事
芬蘭海軍
資料來源

↑  Merivoimien tuleviin korvetteihin ilmatorjuntaohjukset Yhdysvalloista （页面存档备份，存于）. YLE, 21 February 2019. Retrieved 2019-02-21.
↑  Finnish Navy to acquire new Surface-to-surface Missile system （页面存档备份，存于） Ministry of Defence. Retrieved 2018-07-09.
↑  .   [2019-08-10]. （原始内容存档于2020-08-10）.
↑  Merivoimille tulossa 1,2 miljardin jättimäiset sotalaivat — Isoimmat sitten 1930-luvun （页面存档备份，存于）. Kauppalehti, 18 January 2018. Retrieved 2018-04-01.
↑  . mdc.   [2019-08-10]. （原始内容存档于2019-08-10） （中文）.
外部連結

Squadron 2020 （页面存档备份，存于）
馬利國家奧林匹克委員會

| --- | --- |
成立時間: 1962年
總部: 馬里巴馬科
: Mr Habib Sissoko
網站: http://maliolympique.com/
奥林匹克委员会
國家或地區:  
IOC編碼: MLI
加入IOC: 1963年
 
馬利國家奧林匹克委員會（）是馬里的國家奧林匹克委員會。該組織成立於1962年，是國際奧委會和非洲國家奧林匹克委員會聯合會的成員。1964年，首次派員參加在日本東京舉行的夏季奧運會。
現時，馬利國家奧林匹克委員會的總部設在巴馬科，主席是Mr Habib Sissoko。
資料來源

↑  .   [2014-04-21]. （原始内容存档于2012-05-26）.  Archive.is的存檔，存档日期2012-05-26
大宋提刑官

| 大宋提刑官 |
| --- | --- |

类型: 古装、悬疑
编剧: 钱林森、廉声
导演: 阚卫平
主演: 何冰、罗海琼、范伟、沈傲君、郭达、苗圃、凌峰
制作国家／地区:  中国大陆
语言: 普通话
字幕: 中文
集数: 52集
每集长度: 45分钟
主题曲: 《滿江紅》
: 劉可
制作
拍摄／制作年份: 2003年
人: 俞胜利
拍攝地點:  中国横店影视城
制作公司: 中视影视制作有限公司 总政治部话剧团电视剧部
播出 
首播频道: CCTV-1晚黄金档
播出国家／地区:  中国
播出日期: 2005年5月—2005年7月
 
相关节目
续作: 2007年大宋提刑官2

IMDb 介绍
《大宋提刑官》是中国中央电视台于2005年热播的一部古装悬疑推理剧，演述南宋提刑官宋慈的事迹，题材选自其著作《洗冤集录》，集律令、法醫學、解剖學、藥理學、外科學、骨科學於一身创编而成。由11个命案组成，如《李府连环案》、《梁羽生命案》、《遗扇嫁祸案》等，每个单元一个谜案，将悬疑与故事充分结合。
本剧于2003年开始拍摄制作，2005年5月27日在中央电视台播出后曾夺得收视率首位，播出第一、第二周的平均收视率分別为7.09%及7.85%，甚至超过《新闻联播》，最高收視率更達35.66%。
剧情概述

宋慈京试得中进士，与同科好友孟良臣相约酒肆。孟良臣已请命受任禺城知县，宋慈对好友单枪匹马奔赴险途甚为担忧，意欲回家完婚后陪好友同赴边城。完婚之日，父亲迟迟未归，全家人翘首盼望。就在新人拜堂之际，一辆马车骤然而至，马车载回的是宋父的遗体——宋巩一生从事刑狱审戡，从无出错，然其遺書所述，己曾因一次误判而使兩人無辜受刑而死，遂以死谢罪。遗书亦囑咐不许宋门后人涉足刑狱！谁知不久传来孟良臣赴任途中不幸遇难的噩耗。在母亲的开导之下，宋慈毅然奔赴边城，查明了两任知县惨遭谋杀的真相。从而声名鹊起，被朝庭破格擢升为大理寺正六品主事。时隔不久，宋慈突然请命离京外任，遂被任命外省提点刑狱。
演员

| --- | --- |
演员: 角色
何　冰: 宋　慈
罗海琼: 竹英姑
演员 > 其他演员

| --- | --- |
演员: 角色
楊　御: 薛玉貞
何天龍: 薛庭松
吳　亥: 孟良臣
程相銀: 捕頭王
林　強: 趙捕頭
范　偉: 譚里正
沈傲君: 柳絮兒
郭　达: 刁光斗
苗　圃: 玉　娘
凌　峰: 宋朝皇帝
魏宗萬: 盧知州
張志忠: 史文俊
杜　淳: 孟書吏
李文啟: 范　方
郭法曾: 白　賢
艾麗婭: 樓夫人
李曉波: 王書吏
趙子惠: 翠　姑
周賢珍: 秀姑媽
杜志國: 袁　捷
周　舟: 吳淼水
何　音: 楊月兒
严顺开: 冯御史
音乐

| 曲序 | 曲目 |  | 演唱 | 备注 |
| --- | --- | --- | --- | --- |
| 1. | 《满江红》（主题曲） | 王凯娟 | 刘可 | 朗诵者：张志忠 |
相关

《大宋提刑官》前23集的最高收视率达到了8.71%，除播出第一周外平均收视率为7.09%，成为央视上半年所有频道最高收视率、平均收视率的“双冠王”。
《中国新闻周刊》认为，《大宋提刑官》大热荧屏，还因占了政策的“便宜”：2004年，国家广电总局明文规定，禁止“涉案剧”在各电视台黄金档播出；《大宋提刑官》则因为披上古装，得以在CCTV-1黄金时间顺利播出，以现场检验和案情推理吸引了大量观众。
维萨克-欧泰拉克

| 维萨克-欧泰拉克 Vissac-Auteyrac |
| --- | --- |
 法國市镇

维萨克-欧泰拉克的位置  
维萨克-欧泰拉克显示法国的地图维萨克-欧泰拉克显示上卢瓦尔省的地图
坐标：45°07′19″N 3°36′35″E﻿ / ﻿45.1219°N 3.6097°E﻿ / 45.1219; 3.6097
国家:  法國
大区:  
省:  上盧瓦爾省
面积1
 • 市镇: 17.1 平方公里（6.6 平方英里）
人口（2021年）
 • 市镇: 302人
 • 密度: 17.7人/平方公里（45.7人/平方英里）
时区: CET（UTC+01:00）
 • 夏时制: CEST（UTC+02:00）
邮政编码: 43300
INSEE: 43013 
省级选区: 拉法耶特地区县（英语：）
海拔: 678—1,229（2,224—4,032英尺） （平均：915米）
網站: http://www.vissac-auteyrac.fr
1法國統計部門在計算土地面積時，不計算面積大於1平方公里的湖泊、池塘、冰川和河口。 2「人口不重複計算」：擁有多重居住地的居民（如：學生和軍人）僅計算一次。
维萨克-欧泰拉克（法語：，法语发音：[visak oteʁak]；奧克語：）是法国上卢瓦尔省的一个市镇，位于该省中部偏西，属于布里尤德区。该市镇于1972年由原市镇维萨克（）和欧泰拉克（）合并而成。
地理

维萨克-欧泰拉克（45°7'19"N, 3°36'35"E）面积17.1 平方千米，位于法国奥弗涅-罗讷-阿尔卑斯大区上盧瓦爾省，该省份为法国中南部省份，北起多姆山省和卢瓦尔省，西接康塔爾省，南至洛泽尔省，东临阿尔代什省。
与维萨克-欧泰拉克接壤的市镇（或旧市镇、城区）包括：菲克斯圣热内、阿列河畔马泽拉、阿列河畔圣阿尔孔、圣欧仁妮-德维勒讷沃、圣乔治多拉克、圣让德奈、锡欧格圣玛丽、瓦泽耶-利芒德尔。
维萨克-欧泰拉克的时区为UTC+01:00、UTC+02:00（夏令时）。
行政

维萨克-欧泰拉克的邮政编码为43300，INSEE市镇编码为43013。
政治

维萨克-欧泰拉克所属的省级选区为拉法耶特地区县（英语：）。
人口

维萨克-欧泰拉克于2021年1月1日时的人口数量为302人。
维萨克-欧泰拉克的OSM定位图
1962-2008年间维萨克-欧泰拉克人口变化图示
零知识证明

密码学中，零知識證明（英語：）或零知識協議（）是一方（證明者）向另一方（檢驗者）證明某命題的方法，特點是過程中除「該命題為真」之事外，不泄露任何資訊。因此，可理解成「零洩密證明」。例如，欲向人證明自己擁有某情報，則直接公開該情報即可，但如此則會將該細節亦一併泄露；零知識證明的精粹在於，如何證明自己擁有該情報而不必透露情報內容。這也是零知識證明的難點。
若該命題的證明，需要知悉某秘密方能作出，則檢驗者單憑目睹證明，而未獲悉該秘密，仍無法向第三方證明該命題（即單單轉述不足以證明）。待證的命題中，必定包含證明者宣稱自己知道該秘密，但過程中不能傳達該秘密本身。否則，協議完結時，已給予檢驗者有關命題的額外的資訊。此類「知識的零知識證明」是零知識證明的特例，其中待證命題僅有「證明者知道某事」。
交互式零知識證明中，需要各方互動，靠通訊過程證明某方具備某知識，而另一方檢驗該證明是否成立。
也有某種非交互式零知識證明（英语：），但證明之所以成立，依賴計算假設（典型假設是理想的密碼雜湊函數）。
生活範例

山洞中，小靜隨機選擇A路或B路，阿嚴則在洞外等候
阿嚴選一個出口
小靜準確出現在阿嚴所選的出口出現
以下有一個熟知的故事，總結零知識證明的若干重要概念。故事最早由Jean-Jacques Quisquater（英语：）及同事發表於如何向你的孩子解釋零知識協議。設有小靜（證明者）和阿嚴（驗證者）兩人。
故事中，小靜發現洞穴中某扇魔法門的開門暗號。洞穴呈環形，入口在一側，對側則有魔法門隔斷。阿嚴想知小靜是否已知該暗號，但小靜很注重隱私，不希望泄露暗號予阿嚴，也不想全世界知道她有暗號之事。
兩人分別將入口左右兩條通道標示為A路、B路。首先，阿嚴在洞口外，待小靜進入洞內。小靜自行選擇行A路或B路，但阿嚴不准窺視小靜所選為何。然後，阿嚴行入洞穴，均勻隨機喊出A路或B路，表明希望小靜由該方向返回。假若小靜確實知道暗號，則很易達成，因為即使起初所選不是同一條路，她也可以開門通過，從另一條路返回。
然而，若她其實不知道暗號，則祗有一半概率能從阿嚴所選的方向返回，因為阿嚴隨機選A路和B路，恰有一半機會選中起初小靜進入的方向。若兩人重複以上過程，比如連續20次，則小靜靠運氣全部碰巧從正確方向返回的概率极小，为220分之1。
所以，若小靜連續多次從阿嚴所選的方向返回，則阿嚴可以推斷，小靜很可能知道暗號。
以下考慮第三方的觀點。即使假設阿嚴佩戴隱蔽的鏡頭，錄影所見的整個過程，鏡頭所見亦只有阿嚴喊「A！」小靜從A路返回；或阿嚴喊「B！」小靜從B路返回。此種片段極易由兩人共謀偽造（祗需小靜與阿嚴事前商討多次驗證中阿嚴將選該串A、B的次序），從而對第三方而言，不具說服力，即阿嚴無法藉此向第三方證明小靜知道暗號。事實上，即使錄影換成現場在阿嚴身旁監視亦同，因為兩人可能一早已協調綵排好。
但是，若阿嚴在鏡頭前擲硬幣，然後按該硬幣喊A或B，則協議不再零知識。該段錄影可能足以說服第三方，兩人無法偽造，因為阿嚴難以準確擲出預定的AB次序。於是，雖然證明過程沒有泄露暗號予阿嚴，但是阿嚴可藉此說服世人，證明小靜知道暗號，與小靜起初的意欲完全相反。不過，數碼的密碼學中，「擲硬幣」以伪随机数生成器實作，類似於一枚結果已預定好的硬幣，但該結果（由其随机种子（英语：）決定）僅有硬幣主人知道。若阿嚴的硬幣實際是以此法運作，則協議又回復為零知識協議，因為兩人又有可能共同偽造「實驗」結果，所以使用偽隨機數生成器與擲真硬幣不同，前者不會向世人泄露小靜知道暗號。
還有另一種做法，小靜以獨一次實驗已可向阿嚴證明自己知道暗號，而不泄漏。方法是，兩人一同走入洞口，然後阿嚴目送小靜沿A路走，沒有原路折返，但從B路返回。如此，小靜必然已向阿嚴證明自己知道暗號，而沒有告知阿嚴暗號。不過此種證明亦非零知識：若第三方觀察到過程，或阿嚴有錄影，則該證明對第三方具說服力。換言之，小靜無法宣稱自己與阿嚴串通，所以無法向第三方說該證明無效。如此，小靜無法控制何人得知她擁有暗號之事。
定義

零知識證明要具備下列三種性質：
前兩種性質，更廣義的交互式證明系統亦應具備。第三種性質使該交互證明稱為零知識。
零知識證明不算數學證明，因為尚允許有很少（但非零）概率，令作弊證明者能向驗證者「證明」假命題。該概率稱為可靠度誤差（）。換言之，零知識證明是概率「證明」，而非決定性。不過，也有技巧將可靠度誤差壓到忽略不計。
零知識的嚴格定義，需要抽象計算模型，如常見的图灵机。設 P、 V、 S為三部圖靈機。某語言 L的交互式证明系统 (P,V)為零知識，意思是對任意概率多項式時間（）驗證者 {\widehat {V}}，皆有PPT模擬器 S使得：
其中 \operatorname {View} _{\widehat {V}}\left[P(x)\leftrightarrow {\widehat {V}}(x,z)\right]是 P(x)與 {\widehat {V}}(x,z)間交互的全記錄。證明者 P通常假設具無限計算能力（實踐上，常為機率圖靈機）。直觀理解，某交互證明系 (P,V)為零知識，即對任意驗證者 {\widehat {V}}，皆存在某高效模擬器 S（視乎 {\widehat {V}}而定），給定任何輸入，可以重現 P與 {\widehat {V}}間的對話。定義中的輔助串 z，是用作放置任何「前備知識」（包括預知 {\widehat {V}}運行時擲得的硬幣結果）。定義推出， {\widehat {V}}不能利用預知串 z從與 P的對話中發掘出資訊，因為若給予 S該串，則也同樣可以重現 {\widehat {V}}與 P間的對話。
以上為完美零知識的定義。若將定義中，驗證者 {\widehat {V}}的視角（）與模擬相等之要求，改為僅要求計算上無法分辨（英语：），則得到計算零知識的定義。
計算範例 > 離散對數

前段概念適用於較實際的密碼學場景。設小靜欲向阿嚴證明，自己知道某群某指定元素的离散对数。
例如，給定數 y、质数 p、生成元 g，小靜希望證明自己知道某數 x使 g^{x}{\bmod {p}}=y，而不泄漏 x。事實上，知曉 x之事，本身可用作身份證明，即小靜可藉此證明該 y值是由她先暗中選某隨機值 x，再計算 y=g^{x}{\bmod {p}}，公諸所有潛在的驗證者。如此，若某人證明自己知道 x，則相當於證明自己即小靜，因為學者相信離散對數很難計算，即其他人無法從 y倒推出 x值。
證明協議如下：每輪，小靜預備隨機數 r，計算 C=g^{r}{\bmod {p}}，將該值傳予阿嚴。收到 C後，阿嚴隨機請求下列兩者之一：小靜公開 r值，或 (x+r){\bmod {(p-1)}}值。單獨看任何一個值，其分佈皆是均勻隨機，所以協議每輪皆不泄露任何機密。
阿嚴可以驗證所得回應。若問 r，則可以計算 g^{r}{\bmod {p}}，檢查是否等於 C。若問 (x+r){\bmod {(p-1)}}，則可以計算 g^{(x+r){\bmod {(p-1)}}}{\bmod {p}}，而該值應當等於 C\cdot y{\bmod {p}}，所以亦驗證 C值是否滿足該條件。若小靜確實知道 x值，理應很易回答阿嚴的任一條問題。
若小靜預知阿嚴採用何種盤問，則很易作弊，在不知 x的情況下，向阿嚴假裝自己知道 x：若她知道阿嚴將要問 r，則如常繼續，選 r，計算 C=g^{r}{\bmod {p}}，告知阿嚴 C值；她可以答出 r值。另一方面，若她知道阿嚴將問 (x+r){\bmod {(p-1)}}，則取隨機一個 r'值，計算 C'=g^{r'}\cdot \left(g^{x}\right)^{-1}{\bmod {p}}，然後發送 C'值予阿嚴（阿嚴會以為該值為 C值）。當阿嚴要求公開 (x+r){\bmod {(p-1)}}值時，小靜公開 r'，但這足以讓阿嚴驗證結果，因為他計算的值實為 g^{r'}{\bmod {p}}，是等於 C'\cdot y，因為 C'正是小靜一早乘上 y的逆元而計出。
然而，若有某輪驗證中，阿嚴的問題與小靜預估的有出入，則小靜無法計算出要答的結果（假定該群的離散對數問題難解）。若她揀選 r並公開 C=g^{r}{\bmod {p}}，則無法作弊給出服眾的 (x+r){\bmod {(p-1)}}值來通過阿嚴的檢查，因為不知道 x。又若她揀選 r'值，偽裝成 (x+r){\bmod {(p-1)}}，則要回答公開值的離散對數，但她無法回答，因為該值是由已知值乘出，而非某已知值以 g為底的冪，所以她不能計出其離散對數
所以，作弊的證明者僅得 1/2概率通過某輪驗證。重複足夠多輪，成功作弊的概率可壓到任意小。
計算範例 > 離散對數 > 撮要

小靜要證知道 x值（如其密碼）。
小靜與阿嚴約定某質數 p，及域 \mathbb {Z} /p\mathbb {Z} 的乘法生成元 g。
小靜計算 y=g^{x}{\bmod {p}}，傳送予阿嚴。
重複以下步驟若干次：
小靜選某個均勻隨機數 r\in U[0,p-2]，計算 C=g^{r}{\bmod {p}}，傳送 C予阿嚴。
阿嚴問小靜 (x+r){\bmod {(p-1)}}或 r，二選其一。若問前者，則阿嚴驗證 (C\cdot y){\bmod {p}}\equiv g^{(x+r){\bmod {(p-1)}}}{\bmod {p}}。若問後者，則他驗證 C\equiv g^{r}{\bmod {p}}。
(x+r){\bmod {(}}p-1)之值，可視為 x{\bmod {(}}p-1)的加密。若 r確為隨機，在 0至 (p-2)間均勻分佈，則 (x+r){\bmod {(p-1)}}也同樣均勻分佈，所以不會泄漏任何關於 x的資訊（見一次性密碼本）。
計算範例 > 大圖的哈密頓環

下列方案是曼紐爾·布盧姆提出。
此場境中，小靜知道某大圖 G的哈密頓環。阿嚴知道 G但不知該環（比如說小靜將該圖列印給阿嚴）。一般相信，找大圖的哈密頓環，在計算上並不可行，因為相應的決定問題已證為NP完全。小靜欲證自己知道該環，但不想泄漏出去，原因可能是阿嚴打算向小靜買，但付款前希望先驗證小靜知道；也可能是全世界衹得小靜知道該環，所以小靜向阿嚴證明此事，是為向阿嚴核實自己身份。
小靜為證明自己知道哈密頓環，與阿嚴作若干輪驗證。每輪中：
一開始，小靜預備圖 H，是與 G同構（即 H與 G一樣，但頂點的標籤不同）。若小靜知道 G的哈密頓環，則因為 H與 G間的同構由她揀選，她很易找到 H中對應的哈密頓環。
小靜秘諾 H。此處可選任意密碼學秘諾機制（英语：），甚或直接將 H的頂點編號，然後對 H的每條邊，將兩端編號寫在小紙片上，反轉蓋在枱面。總之，秘諾目的是使小靜此後無法竄改 H，但同時不讓阿嚴提早知道 H的資訊。
阿嚴隨機問小靜以下兩事之一：給出 H與 G間的同構（見圖同構問題（英语：））；或給出 H的哈密頓環。
若問兩圖的同構，則小靜先展示 H（將枱面全部紙翻開），並給出 G頂點與 H頂點的對應表。阿嚴可以驗證該對應關係是否滿足圖同構的條件。
若問哈密頓環，則小靜衹翻開在 H的哈密頓環上的紙片。如此，阿嚴已可驗證 H有哈頓頓環。
秘諾一步必須使阿嚴在第二種情況能驗證該環確實由 H的邊構成。一種做法是，逐條邊分別秘諾。
計算範例 > 大圖的哈密頓環 > 完備

若小靜確知 G中的哈密頓環，則阿嚴詢問同構時，她很易回答（該同構為她所選），而阿嚴問 H中的哈密頓環時，她同樣很易回答（ G有哈密頓環， G與 H間的同構為所她選，所以可以找到 H中對應的環）。
計算範例 > 大圖的哈密頓環 > 健全

若小靜不知哈密頓環，則衹能預先猜測阿嚴會問何種問題，相應準備某個與 G同構的圖，或另一個不相關的哈密頓圖。然而，因為她不知 G的哈密頓環，所以無法同時做兩件事。於是，若以上驗證重複 n次，則小靜蒙混過關的概率僅得 2^{-n}，從而實際意義上，衹需合理多輪驗證，已使造假者寸步難行。
計算範例 > 大圖的哈密頓環 > 零知識

小靜的回答不泄漏原圖 G的哈密頓環，因為每一輪，阿嚴衹會得悉 H與 G的同構，或是 H的哈密頓環，兩者之一，但他需要對同一個 H同時得知兩者，纔能構造出 G中的哈密頓環。如此，衹要小靜每輪預備一幅不同的圖 H，就能保密。若小靜不知 G的哈密頓環，但不知為何已事前得知阿嚴每輪會問的問題，則她可以作弊。例如，若小靜預知阿嚴該輪會問 H的哈密頓圖，則大可以祕諾一幅與 G無關的哈密頓圖。與之類似，若小靜預知阿嚴會問同構表，則她可以隨便預備一幅與 G同構的圖 H（其中她不知道任何哈密頓圖）。阿嚴根本無需小靜在場，亦可獨自想像出自己將見的場面，因為他清楚自己將會問甚麼，將見的僅是一個環（而不顯示圖的其他部分）或一幅與 G同構的圖，即阿嚴可以自行模擬該協議。因此，阿嚴從每一輪驗證揭露之事，無法得到任何關於 G哈密頓環的資訊。
零知識條件的變式

「零知識」的定義有若干變形，分別在於如何嚴謹定義模擬結果「看似」真實的交互記錄：
應用 > 身份驗證

零知識證明的研究，是受身份驗證系統啟發。驗證時，一方要向另一方證明自己身份，通常藉賴證明自己持有某種袐密（如通行密碼），但不希望對方知悉該袐密，稱為零知識知識證明（英语：）。不過，通行密碼一般不是太短，就是不夠隨機，不能用於許多零知識知識證明方案。零知識通行碼證明（英语：）就是有考量密碼長度限制的一類零知識知識證明。[來源請求]
2015年4月，Sigma協議（「其中之一」證明，英語：）面世。2021年8月，美國網絡基建、安全公司Cloudflare採用該種證明機制，以供應方硬件[請求校對翻譯]為私人網絡提供驗證服務。
應用 > 道德行為

密碼學協議之中使用零知識證明，可以在不退讓隱私的情況下，確保各方誠實。粗略言之，方法是迫用戶零知識地證明，其所作所為是依足協議。由健全性，用戶必先確實跟從協議，纔能服眾。又由於證明是零知識，此過程並無犠牲用戶的隱私。
應用 > 核裁軍

2016年，普林斯頓電漿物理實際室與普林斯頓大學展示一個技巧，或許適用於未來的核裁軍談判。其特點是，無需揭露某物件內部的機密構造，亦可允許督查員判斷該物件是否核武器。
應用 > 區塊鏈

零知識證明用於小零幣（英语：）與大零幣協議中，最終於2016年發展成小零幣（英语：）（2020年改稱飛熔幣（英语：））和大零幣兩種加密貨幣。小零幣內置有混幣模型，以確保匿名，且該模型無需信任任何對等用戶或中央集權混幣者。用戶可以用另一種基準幣交易，也可以將該幣賣出買入小零幣。大零幣協議的模型也類似（該變式稱為非交互式零知識證明（英语：）），而且可以掩蓋交易額，但小零幣則不能。大零幣的交易數據如此隱密，所以與小零幣相比，較不易受到隱私計時攻擊（英语：）。不過，此層額外隱私，可能導致不能追蹤假幣，倘因此造成大零幣供給的超通漲，可能無法偵測到。
2018年，防彈證明（）面世。其改進自非交互式零知識證明，不再需要可信的安裝環境。其後，實作成「結舌」協議（，和兩種加密幣皆出自該協議）和门罗币。2019年，飛熔幣實作Sigma協議（英语：），是對應小零幣協議無可信環境的改進。同年，飛熔幣引入萊蘭托斯協議（），更自Sigma協議改進，隱去交易的源頭與金額。
沿革

零知識證明最早由莎菲·戈德瓦塞尔、希爾維奧·米卡利、查爾斯·拉克福（英语：）三人於1985年發表，論文題為交互式證明系統的知識複雜度。該論文引入交互式证明系统的IP複雜度類（英语：），並構想出「知識複雜度」概念，衡量證明過程中，由證明者傳遞予驗證者的知識量。三人亦給出首個具體問題的零知識證明，即零知識地證明某數不是模 m 的二次剩余。連同鲍鲍伊·拉茲洛（英语：）與什洛莫·莫蘭（英语：）的另一篇論文，戈-米-拉三氏的論文發明了交互式證明系統。為此，五人同獲1993年首屆哥德尔奖。
引述戈-米-拉三氏：
該額外知識基本為0的情況尤其值得關注。我等證明，可以交互地證明某數非模 m 的二次剩餘，而釋出零額外知識。其出奇之處是，若不給定 m 的分解，則無高效算法判別某數是否模 m 的二次剩餘。更甚者，任何已知的NP證明皆要表明 m 的質因數分解。這就表明，在證明過程中添加互動，可能減少證明某定理所必須交流的知識。
二次非剩餘問題既有NP算法又有反NP算法，故位處NP與反NP兩類之交集中。其後找到有零知識證明的若干個問題，亦具同樣的性質，例如歐迪·戈德賴希（英语：）未經正式出版的證明系統，可以驗證某數（為兩個未知質數之積）不是布盧姆整數，即並非兩個模4餘3的質數之積。
歐迪·戈德賴希（英语：）、希爾維奧·米卡利、阿维·威格森更進一步證明，假定存在無懈可擊的加密法，則可以造出三色圖着色問題的零知識證明系統，而該問題本身為NP完全。又因為每個NP問題都可以高效化歸成該NP完全問題，所以在前述假定下，所有NP問題皆有零知識證明。需要該假定的原因是，正如前節範例，需要有秘諾的手段。若存在單向函數，則的確有牢不可破的加密法。此為廣泛引用的充分條件。另外也可能有物理方法實作。
更上一層樓，他們亦證明，圖不同構問題（英语：），即圖同構問題（英语：）之補（英语：），有零知識證明。該問題已知屬於反NP，但未知是否屬於NP或其他實際可行的複雜度類。更一般地，羅素·英帕利亞佐（英语：）、莫迪凱·容（英语：）[譯名請求]二人，與米高·本-奧爾（）及同事，兩組證明：同樣假設存在單向函數或牢不可破的加密，則任何屬於IP（已證等於PSPACE）的問題，皆有零知識證明。換言之，任何命題若可藉交互系統證明，則可零知識證明。
許多理論家不希望假設不必要的條件，所以試圖在不假定單向函數的條件之下，證明同樣的結論。有種做法稱為「多證明者交互式證明系統」（見交互式证明系统），即有多個獨立的證明者，而非僅得一個。驗證者可以將證明者逐個孤立，然後詰問，以免被作弊證明者誤導。無需任何難解假設，已可證明在此系統中，任何NP問題皆有零知識證明。
後來發現，互聯網等同時執行多個協議的環境中，較難構造零知識證明。研究並行零知識證明的先驅是辛西婭·德沃克（英语：）、莫尼·納奧爾（英语：）、阿米特·薩海（英语：）。此類研究之中，重要成果有證據不可辨（英语：）協議。與零知識相比，其性質較弱：可能有多種證據供證明者選擇採用何者作證，此時僅要求驗證者無法分辨證明者選擇為何，但證明者可以泄漏部分資訊，如全體證據組成的集合。儘管失去零知識性質，但此類協議的好處是，並行時不會遇到此前提及的問題。
變式尚有非交互式零知識證明（英语：）。曼纽尔·布卢姆、保羅·費爾德曼（）、米卡利證明，若證明者與驗證者共有一條隨機字串，則可以達成計算零知識，而毋須交互。
參見

配對式密碼學（英语：）：給定 f(x)與 f(y)，無需知道 x、 y，已可計算 f(x\times y)。
安全多方计算：各方的輸入值保密，但共同計算出該些輸入對應的結果。
圈子簽名（英语：）：可以簽署某文件，使圈外人無法得悉由圈內何人署名，衹知圈內有某人署名。
阿羅資訊悖論（英语：）
密碼學協議
費蓋-菲亞特-薩莫爾身份認證（英语：）
密碼學諸主題
註

↑  英文文獻中，常稱零知識協議中的證明者為（取的首字母）、驗證者（的首字母），見愛麗絲與鮑伯。
↑  即欲證事實為某字串 x\in L。
↑  對不同輸入規模（安全參數），各有模擬器與真正交互此兩個分佈。
↑  原文作 "Of particular interest is the case where this additional knowledge is essentially 0 and we show that [it] is possible to interactively prove that a number is quadratic non residue mod m releasing 0 additional knowledge. This is surprising as no efficient algorithm for deciding quadratic residuosity mod m is known when m’s factorization is not given. Moreover, all known NP proofs for this problem exhibit the prime factorization of m. This indicates that adding interaction to the proving process, may decrease the amount of knowledge that must be communicated in order to prove a theorem."
↑  即無法分辨該證明者與採用另一證據的證明者。
泉谷湖 (加利福尼亞州)

| 泉谷湖 |
| --- | --- |
人口普查指定地區

泉谷湖泉谷湖在加利福尼亞州的位置
坐标：34°29′50″N 117°16′08″W﻿ / ﻿34.49722°N 117.26889°W﻿ / 34.49722; -117.26889
國家: 美国
州份: 加利福尼亞州
縣: 聖貝納迪諾縣
面积
 • 总计: 9.149 平方公里（3.532 平方英里）
 • 陸地: 7.689 平方公里（2.969 平方英里）
 • 水域: 1.460 平方公里（0.564 平方英里）
海拔: 847 公尺（2,779 英尺）
人口（2010年美國人口普查）
 • 總計: 8,220人
 • 密度: 898人/平方公里（2,327人/平方英里）
时区: 太平洋时区（UTC-8）
 • 夏时制: PDT（UTC-7）
電話區號: 760（英语：）
地名信息系统ID: 2583150
泉谷湖（英語：）是位於美國加利福尼亞州聖貝納迪諾縣的一個人口普查指定地區。
地理

泉谷湖的座標為34°29′50″N 117°16′08″W﻿ / ﻿34.49722°N 117.26889°W﻿ / 34.49722; -117.26889，而該地最高點為海拔高度847米（即2779英尺）。
人口

根據2010年美國人口普查的數據，泉谷湖的面積為9.149平方千米，當中陸地面積為7.689平方千米，而水域面積為1.460平方千米。當地共有人口8220人，而人口密度為每平方千米898人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.