Skip to content

Commit f2fd5d9

Browse files
committed
update data
1 parent 1b85c1a commit f2fd5d9

File tree

1,135 files changed

+28409
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,135 files changed

+28409
-0
lines changed

Part2_Text_Classify/data_test/089rWOXR.txt

Lines changed: 132 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
上海艺术节拉开帷幕
2+
新华社上海5月13日电(实习生潘锦燕)管弦乐序
3+
曲《红旗颂》铿然奏响,激越恢宏,震撼着每一位观众的
4+
心。以“艺术、友谊、欢乐、奋进”为主题的上海艺术节
5+
12日晚在宝钢体育馆拉开帷幕。
6+
本届艺术节是上海舞台最具规模的艺术盛会,将有3
7+
2台不同剧种、风格各异的节目竞相献演。苏联、美国、
8+
墨西哥、澳大利亚、法国、土耳其等6个国家的演出团体
9+
和个人,将带来11台高质量的节目。上海则推出了京剧
10+
、昆剧、越剧、沪剧、交响乐、芭蕾等15种剧目。(完
11+
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
中国少年儿童绘画作品在芬兰国际比赛中获奖
2+
新华社赫尔辛基5月17日电第8届芬兰许文盖国际
3+
青少年绘画艺术比赛16日下午在芬兰南部城市许文盖揭
4+
晓,中国有10幅绘画作品在比赛中获奖。
5+
本届比赛作品所表现的主题是“我的家乡和环境”。
6+
来自世界61个国家的6000余幅作品参加了比赛。比
7+
赛分7岁以下、7至9岁、10至12岁、13至15岁
8+
和16至18岁5个年龄组。根据评比结果,40多个国
9+
家和地区的268幅作品荣获奖章,500幅作品荣获奖
10+
状。
11+
中国有28幅作品参赛,其中10幅作品获奖章,5
12+
幅作品获奖状。在10幅获奖章的作品中有5岁儿童赵修
13+
平(音译)的《警察叔叔》,8岁女孩邓可可的《我的一
14+
家》和10岁男孩孙尧的《船厂的早晨》等。
15+
芬兰许文盖青少年绘画艺术比赛始于1970年,每
16+
3年举办一次,是国际上颇有影响的绘画艺术比赛之一。
17+
(完)
18+
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
河北省河北梆子剧团在港演出
2+
新华社香港5月26日电(记者武清月)河北省河北
3+
梆子戏剧团,昨晚在香港新光戏院举行了首场演出。著名
4+
表演艺术家裴艳玲,在首演剧目《锺馗》中扮演主角。新
5+
华社香港分社社长周南,香港知名人士邵逸夫、霍英东观
6+
看了演出。
7+
以著名表演艺术家裴艳玲为首的河北梆子戏剧团,将
8+
在香港演出七场传统戏剧。昨晚的首场演出,剧场爆满。
9+
裴艳玲的武功和唱功,使观众赞叹不已。(完)
10+
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
台湾著名歌星苏芮在大陆录制电视节目
2+
新华社北京5月12日电(记者秦杰)以“黑色旋风
3+
”风靡海内外华人世界的台湾著名歌星苏芮,最近首次来
4+
到大陆,今晚将在中央电视台的节目中与广大歌迷见面。
5+
苏芮是目前台湾歌坛最为推重的一位实力派歌手,她
6+
的风格也被大陆歌迷所喜爱。从《酒干淌卖无》、《一样
7+
的月光》开始,苏芮以深沉、忧郁和充满激情的歌手一跃
8+
成为流行歌坛最为耀眼的一颗巨星。这次她与台湾电视主
9+
持人赵晓君一起,应邀前来中央电视台录制节目。她将在
10+
《综艺大观》、《苏芮在北京》等节目中献演她新近录制
11+
的一批歌曲,其中包括她与大陆歌手韦唯、刘欢、景岗山
12+
共同演唱的亚运歌曲。(完)
13+
Lines changed: 106 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,106 @@
1+
软件学报
2+
JOURNAL OF SOFTWARE
3+
1999年 第1期 No.1 1999
4+
5+
6+
7+
随机归约的五步完美零知识证明系统
8+
臧斌宇 周玉林 熊鹏荣 朱 洪
9+
  摘要 构造了一个完美零知识的五步交互证明系统,该系统不依赖于任何(复杂性和计算能力)假设,在该系统中,证明者可具有有限或无限的计算能力.
10+
  关键词 完备性,可靠性,零知识,完美零知识证明系统,随机归约.
11+
  中图法分类号 TP301
12+
Perfect Zero Knowledge Proof System with Five Moves for Random Reducibility
13+
ZANG Bin-yu1 ZHOU Yu-lin2 XIONG Peng-rong2 ZHU Hong3
14+
  Abstract A perfect zero knowledge proof with five moves which doesn't rely on any assumption is constructed in this paper. In this proof system, the prover can have either unlimited or limited computing power.
15+
  Key words Completeness, soundness, zero knowledge, perfect zero knowledge proof system, random reducibility.
16+
  目前,没有任何假设的零知识证明系统是极少的.文献[1]给出了一个没有任何假设的完美零知识五步交互证明系统,该系统是建立在图同构问题上的证明系统,这是目前所见的没有任何假设的交互次数最少的完美零知识证明系统.但该系统要求证明者的计算能力无限.对证明系统没有附加假设这类问题,Tompa和Woll[2]曾给出平均归约的概念使其一般化.目前已有几个四步完美零知识证明系统,但都附加了假设,且缺乏一般性.Sakurai[3]曾给出二次剩余上的零知识四步证明系统,该系统虽然没有任何假设,但它不是语言的证明系统(在xRN时,证明者也能说服验证者接受该语言,即该协议只有在正确的输入下才是完美零知识证明系统).
17+
  平方剩余是否存在没有附加假设条件的四步完美零知识证明系统这个问题,至今还没有解决,也没有找到其他没有附加条件和假设的四步完美零知识证明系统.
18+
  本文给出的完美零知识五步证明系统,不需有任何复杂性假设和对证明者附加任何计算能力假设.我们的证明系统中的证明者可具有有限的计算能力,比文献[1]的条件弱(文献[1]中证明者由于计算能力无限,故可据此获得说服验证者的知识就多),比文献[1]适应面广(因为随机归约问题是平方剩余问题、离散对数问题、图同构问题等的一般化).我们的结论适合任何零知识证明机构.
19+
1 协议的描述
20+
  本文用到的概念有:交互证明系统、完备性、可靠性和完美零知识性,可参阅文献[2,4],随机归约性概念出自文献[2].
21+
  设R满足下述条件:
22+
  (1) R是随机自归约的;
23+
  (2) 存在一概率多项式时间|N|O(1)算法,对给定的N,x,y决定(x,y)是否属于RN;
24+
  (3) 存在一概率多项式时间|N|O(1)算法,对输入N,输出随机对(x,y)∈RN,这里,x在RN上为均匀分布,y在RN(x)上为随机的均匀分布,这些条件与文献[2]中相同.
25+
  在条件(1)~(3)满足的假设下,我们来构造一个五步协议.
26+
  五步证明协议: 该协议的公共输入是(N,x),证明者的辅助输入是y,(x,y)∈RN,k为安全系数,
27+
  (1) P:随机地均匀地选择(,)∈RN,i=1,...,k,送α1=(,...,)给V;
28+
  (2) V:随机地均匀地选择bi∈{0,1},i=1,...,k,
29+
    如果bi=0,则计算ui=A(N,,g),让wi=
30+
    (这里,g是V的随机源,是V在计算ui时消耗掉的g的有限前缀);
31+
    如果bi=1,则随机地、均匀地选择(ui,vi)∈RN,让wi=vi.
32+
    送β1=(u1,...,uk)给P;{V将位元bi掩盖在ui中,用ui提交位bi};
33+
  (3) P:计算xi=A(N,x,r),设是P在计算xi中消耗掉的P的随机源的有限前缀,
34+
    P根据(N,x,y,)计算xi的某个证据yi,i=1,...,k,送α2=(x1,...,xk)给V;
35+
  (4) V:送β2=(w1,...,wk)给P;{V揭掩盖};
36+
  (5) P:根据计算揭掩盖并应答:
37+
    如果ui=A(N,,wi),则得bi=0;如果(ui,wi)∈RN,则得bi=1.
38+
    若bi=0,则令zi=;若bi=1,则令zi=yi,i=1,...,k.
39+
    送α3=(,...,)(z1,...,zk)给V;
40+
  (6) V:检验P的报文α3的正确性,即:
41+
    检验关系(,)∈RN,
42+
    如果bi=0,则检验等式xi=A(N,x,zi);
43+
    如果bi=1,则检验关系(xi,zi)∈RN,i=1,...,k.
44+
    如果这些条件都满足,则V接受且停机;否则,V拒绝,输出“P欺骗”且停机.
45+
2 协议的证明
46+
  定理1. 上述协议满足协议的完备性.
47+
  证明:当x∈LR时,显然,当P以y∈RN(x)为辅助输入,只要P,V按协议执行,则V必接受.   □
48+
  定理2. 上述协议满足协议的可靠性.
49+
  证明:我们描述一个多项式时间的知识提取器M,该知识提取器在平均时间|N|O(1)内停机,且其输出y满足(x,y)∈RN的概率与P′通过交互说服V使V接受的概率最多相差|x|-ω(1).
50+
  我们先分析一下,M怎样才能获得x的一个证据,一个可行的方法是让M获得两轮不同的V能接受的报文,α1-β1-α2-β2-α3与α1-β1-α2-β′2-α′3,其中α1=(,...,),β1=(u1,...,uk),α2=(x1,...,xk),β2=(w1,...,wk),α3=(,...,k)(z1,...,zk),β′2=(w′1,...,w′k),α′3=(,...,)(z′1,...,z′k),设M通过β2,β′2揭开的掩盖位分别是(b1,...,bk),(b′1,...,b′k),且有某个j,使得bj≠b′j,由对称性,不妨设bj=0,b′j=1,则有xi=A(N,x,zi)与(xi,z′i)∈RN同时成立,这样,x的某个证据即可通过(N,x,zi,z′i)算出(随机归约定义中的R2,见文献[2]).
51+
  为了让M获得两次不同的报文,M必须先得到一“变色龙”β1=(u1,...,uk),然后才能随心所欲地揭开掩盖,以期获得两轮不同的报文.
52+
  由以上分析,M执行过程可分为3部分:
53+
  第1部分: 模拟.该部分的目的,是获得(,...,),(,...,),其中(,)∈RN,该部分实际上是使下面的两部分的(u1,...,uk)成为“变色龙”,在该部分中,M模拟诚实的V忠实地执行整个协议,与P′交互(即调用P′作为子程序),若V拒绝则M拒绝,输出P′欺骗,否则M执行第2部分.设M在协议的第(1)句获得(,...,),在协议的第(5)句获得(,...,).
54+
  第2部分: 获得一组报文α1-β1-α2-β2-α3(其中α1在第1部分已得到).该部分组成如下:
55+
  REPEAT
56+
  将P′的工作带、通讯带设置成第1部分模拟时执行完协议的(1)后的状态,即从协议的(2)开始执行,此时,M已有(,...,),(,...,),其中(,)∈RN.
57+
  (2′) M计算ui=A(N,,g).这里,g是M的随机源,是M在计算ui时消耗掉的g的有限前缀.
58+
     根据(N,,,)计算vi,使得(ui,vi)∈RN,
59+
     送β1=(u1,...,uk)给P′{注意,此时(u1,...,uk)已是M掌握的“变色龙”};
60+
  (3′) 让P′送α2=(x1,...,xk);
61+
  (4′) M随机地、均匀地选择bi∈{0,1},i=1,...,k,
62+
     如果bi=0,则让wi=,
63+
     如果bi=1,则让wi=vi,送β2=(w1,...,wk)给P′;{M随心所欲地揭掩盖};
64+
  (5′) 让P′送α3=(,...,)(z1,...,zk);
65+
  (6′) M对P′的报文α3进行检验,即:
66+
     检验关系(,)∈RN,
67+
     如果bi=0,则检验xi=A(N,x,zi),
68+
     如果bi=1,则检验关系(xi,zi)∈RN,i=1,...,k;
69+
  UNTIL α3通过M的检验.
70+
  这一部分执行完后,M得到报文α1-β1-α2-β2-α3,且其中的β1=(u1,...,uk)是“变色龙”.现让M进入第3部分.
71+
  第3部分: 在上述“变色龙”β1=(u1,...,uk)及问题集α2=(x1,...,x3)下找另一组报文α1-β1-α2-β′2-α′3,其中α1-β1-α2是前面已经得到的.该部分内容如下:
72+
  将P′的工作带、通讯带设置成第2部分执行完(3′)后的状态,即M从协议的(4)开始执行,
73+
  REPEAT
74+
  (4″) M随机地选择b′i∈{0,1},i=1,...,k,
75+
     如果b′i=0,则让w′i=,如果b′i=1,则让w′i=vi,送β′2=(w′1,...,w′k)给P′;
76+
  (5″) 让P′送α′3=(,...,)(z′1,...,z′k)给M;
77+
  (6″) M检验P′的报文α3,即:
78+
     检验关系(,)∈RN,
79+
     如果bi=0,则检验等式xi=A(N,x,z′i),
80+
     如果bi=1,则检验关系(xi,z′i)∈RN,i=1,...,k,
81+
  UNTIL (6)中的α3通过检验或循环将所有的(b1,...,bk)遍历完毕.
82+
  (7″) 如果所有的(b1,...,bk)被遍历完毕,则M停机,不输出任何东西.
83+
否则,M从成功获得的两组不同的报文中计算x的证据y,M输出x的证据y且停机.
84+
  当M执行完第3部分后,M要么输出y∈RN(x)后停机,要么停机不输出.下面,我们证明M平均执行的时间是多项式的,然后证明M计算出y∈RN(x)的概率不小于p-2-k.这里,p是M通过第1部分的概率,即设
85+
Prob (VP(N,x,s)(N,x)接受)=p.
86+
  首先,M在第1部分模拟(P′,V)的时间是多项式的,M模拟之后立即停机的概率为(1-p),因此,M执行后两个部分的概率为p.当M进入第2部分,M反复执行直到M模拟的V再次接受(N,x)为止,因此,M执行第2部分循环的平均次数为1/p.当M进入第3部分时,(,...,)(u1,...,uk)(x1,...,xk)已固定,假设(P′,V)在这些已固定量下接受(N,x)的概率为q,那么M退出第2部分以后,选择这些固定量的概率不超过,这里D是所有的(u1,...,uk)的个数.设q=i1/2k(对q解释,2k为所有可能的(b1,...,bk)的数目,i1为2k个(b1,...,bk)中P′能给予正确应答的数目),那么固定这些量之后,M在第3部分的平均执行次数为(2k-1)/(i1-1)(假设此时i1>1,M在第2部分成功之后,在第3部分重新获得一组P′能正确应答的(b′1,...,b′k)的概率为(i1-1)/(2k-1)),所以M执行第3部分的平均次数不超过.所以,M执行第2部分和第3部分的总的平均次数为p(1/p+2/p)=3,因此,M是平均多项式时间的.
87+
  如果M模拟成功(其概率为p),那么只有当i1=1,即q=2-k时M才求不出y∈RN(x),而M在退出第1部分时,选择这些固定量的概率不超过,因此,M成功地求出y∈RN(x)的概率不小于p(1-2-k/p)=p-2-k.由于k=ω(log|x|),因此M满足条件.              □
88+
  至于协议是完美零知识的,其证明几乎与文献[1]相同,在此从略.
89+
  由上述分析,我们已得:
90+
  定理3. 上述协议是完美零知识的五步知识证明系统                □
91+
本文研究得到国家自然科学基金资助。
92+
作者介绍:臧斌宇,1963年生,在职博士生,副教授,主要研究领域为并行处理.
93+
     周玉林,1962年生,讲师,主要研究领域为算法理论.
94+
     熊鹏荣,1961年生,讲师,主要研究领域为算法分析与设计.
95+
     朱洪,1939年生,教授,博士生导师,主要研究领域为算法分析与设计.
96+
本文通讯联系人:朱洪,上海 200433,上海复旦大学计算机科学系理论组
97+
作者单位:臧斌宇 复旦大学并行处理中心 上海 200433
98+
     周玉林 熊鹏荣 江西上饶师范专科学校数学系 上饶 334001
99+
     朱 洪 复旦大学计算机科学系 上海 200433
100+
101+
参考文献
102+
 [1]Bellare M, Micali S, Ostrovsky R. Perfect zero knowledge in constant rounds. In: Gabow H N ed. Proceeding of the 22nd Annual ACM Symposium on the Theory of Computing. New York, NY: ACM Press, 1990. 482~493
103+
 [2]Tompa M, Woll H. Random self-reducibility and zero knowledge interactive proofs of possession of information. In: Leighton F T ed. Proceeding of the 28th Symposium on Foundation of Computer Science. Los Alamitos, CA: IEEE Computer Society, 1987. 427~482
104+
 [3]Sakurai K. On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes. Lecture Notes in Computer Science, 1995,(959):496~509
105+
 [4]Feige U, Fiat A, Shamir A. Zero knowledge proofs of identity. In: Aho A V ed. Proceedings of the 19th Annual ACM Symposium on the Theory of Computing. New York, NY: ACM Press, 1987. 210~217
106+
本文1997-05-19收到原稿,1998-01-23收到修改稿

0 commit comments

Comments
 (0)