这个嘛= =直接贴VFK的题解就行了吧,感觉自己还是差别人太多

http://vfleaking.blog.uoj.ac/blog/104

讲得挺明白了的说,但还是挺难理解的说,中间实现部分简直不要太难懂= =(其实也不会代码顺序看正常点就行了)讲一下代码实现的细节吧(这点VFK就没说了~~~)

首先我们先随机生成很多个输入并把答案计算出来备用= =(计算答案时每32个输入进行一次运算用int来存就行了(想用bitset结果老调不出来QAQ))

然后就是算法的精髓了,生成s 个线性无关的向量 v1,…,vs,然后对于一个基,可以将其与这s个向量点积形成一个s维的向量,那么怎么求这个分量(就是一个可行的有效信息吧)呢?枚举每一个 U 中的向量 u,然后用“强制点积为 0”、“强制点积为 1” 这两种操作来把 f 变成只含 u 所对应的那个分量,再对 f 每一个输入变量反转下带进去看结果是否反转来知道这个分量中究竟含哪些变量。(VFK原话)这个我也不知道怎么说得清楚,看下代码理解下吧,反正我是看着看着就懂的QAQ,然后实现方面,我们可以先把该求的输入先预处理求出答案在进行计算,然后就能得到一个可能的分量了。

接下来呢,我们可以用一堆输入与这个分量进行比较来得到这个分量的系数,若这个系数较大就有可能是答案了(具体看wc ppt) 然后就得到一个有效信息了(当然,要与之前求得的线性无关)

接下来就容易了,用一堆输入求得每个输入对应的输出是0还是1(取概率较大的)就做完了

总体看起来也就是VFK用一句话说出来的东西比较难懂了(我比较渣QAQ)其他应该还可以理解

我把过程都注释到代码里了大家可以看看

然后就没了~~~

最近终于不堪于百度终于准备转博客园了,这是我在这里写的最后一篇博文了,翻翻一开始的文章,发现我变了很多,也挺有感触的,努力吧,相信成功只给有准备的人的!!!

CODE:

#include<cstdio>

#include<iostream>

#include<cstring>

#include<algorithm>

#include<vector>

using namespace std;

#define R 10

#define S 4

int n,m,l,q;

#define maxk 50000

#define maxn 1030

#define pb push_back

int u[maxn],v[maxn],s[maxn],d[maxn],e[maxn];

typedef unsigned long long ull;

typedef unsigned int uint;

inline ull llrand() {

ull ans=(ull)rand()<<32|rand();

if (n<64) ans&=(1ull<<n)-1;

return ans;

}

vector<ull> x,ans;

vector<bool>x_res;

inline bool get(ull x,ull y){return x&(1ull<<y);}

inline void calc(vector<ull> &x,vector<bool> &res) {

res.clear();

static uint b[256];

for (int i=0;i<x.size();i+=32) {

memset(b,0,sizeof(b));

int r=min(int(x.size()-i),32);

for (int j=0;j<r;j++)

for (int k=0;k<n;k++) b[k]|=(ull)get(x[i+j],k)<<j;

for (int j=1;j<=q;j++) b[u[j]]=(~(b[v[j]]&b[s[j]]))^b[d[j]]^b[e[j]];

for (int j=0;j<r;j++) res.pb(get(b[0],j));

}

}

inline void set(ull &x,int y,int z) {

if (get(x,y)!=z) x^=1ull<<y;

}

inline void getans(){

static vector<ull> v,w;

int s=min(S,n);//生成s 个线性无关的向量

while (1) {

v.clear();w.clear();

bool flag=1;

for (int i=0;i<s;i++){

ull tmp=llrand();

v.pb(tmp);w.pb(tmp);

for (int j=0;j<i;j++)

if (w[i]&(w[j]&-w[j])) w[i]^=w[j];

if (!w[i]) {flag=0;break;}

}

if (flag) break;

}

static vector<ull> tx;

static vector<bool> tx_res;

tx.clear();//把该求的输入先预处理求出答案

for (int i=0;i<n;i++)

for (int j=0;j<R;j++) {

ull tmp=llrand();

for (int z=0;z<=1;z++) {

set(tmp,i,z);

for (int a=0;a<(1<<s);a++) {

ull temp=tmp;

for (int k=0;k<s;k++) if (a&(1<<k)) temp^=v[k];

tx.pb(temp);

}

}

}

calc(tx,tx_res);

for (int a=0;a<(1<<s);a++) {//枚举每一个 U 中的向量 u

ull tmp=0;

int l=0;

for (int i=0;i<n;i++) {//对 f 每一个输入变量反转下带进去看结果是否反转

int sum=0;

for (int j=0;j<R;j++) {

int cnt[2]={0,0};

for (int z=0;z<=1;z++)

for (int b=0;b<(1<<s);b++)

cnt[z]+=tx_res[l++]==__builtin_parity(a&b) ? 1: -1;

sum+=(cnt[0]>0)!=(cnt[1]>0);

}

if (sum>R/2) tmp|=1ull<<i;

}

int sum=0;

for (int i=0;i<maxk;i++) {//用一堆输入与这个分量进行比较来得到这个分量的系数

sum+=x_res[i]==__builtin_parityll(tmp&x[i])?1:-1;

}

if (abs(sum)>=maxk*0.02) {

for (int i=0;i<ans.size();i++)

if (tmp&(ans[i]&(-ans[i]))) tmp^=ans[i];

if (tmp) ans.pb(tmp);

}

}

}

int main(){

scanf("%d%d%d%d",&n,&m,&l,&q);

for (int i=1;i<=q;i++) scanf("%d%d%d%d%d",u+i,v+i,s+i,d+i,e+i);

for (int i=0;i<maxk;i++) x.pb(llrand());

calc(x,x_res);//随机生成很多个输入并把答案计算出来备用

while (ans.size()<m) getans();

for (int i=0;i<m;i++,putchar('\n'))

for (int j=0;j<n;j++) putchar('0'+get(ans[i],j));

static int h[1<<S][2];

for (int i=0;i<maxk;i++) {//一堆输入求得每个输入对应的输出是0还是1

ull tmp=0;

for (int j=0;j<m;j++) tmp=(tmp<<1) | __builtin_parityll(x[i]&ans[j]);

h[tmp][x_res[i]]++;

}

for (int i=0;i<(1<<m);i++) putchar('0'+(h[i][0]<h[i][1]));

return 0;

}

【WC2015】混淆与破解 (Goldreich-Levin 算法)的更多相关文章

  1. (转)Android studio 使用心得(五)—代码混淆和破解apk

    这篇文章等是跟大家分享一在Android studio 进行代码混淆配置.之前大家在eclipse上也弄过代码混淆配置,其实一样,大家可以把之前在eclipse上的配置文件直接拿过来用.不管是.cfg ...

  2. Android studio 使用心得(五)—代码混淆和破解apk

    这篇文章等是跟大家分享一在Android studio 进行代码混淆配置.之前大家在eclipse上也弄过代码混淆配置,其实一样,大家可以把之前在eclipse上的配置文件直接拿过来用.不管是.cfg ...

  3. [转载]Dotfuscator Professional Edition 4.9.7500.9484 混淆工具破解版+使用教程

    如有转载,请注明出处: http://www.cnblogs.com/flydoos/archive/2012/01/26/2329536.html Dotfuscator Professional ...

  4. 使用CPA4破解经典密码算法

    下面是一段经过经典密码算法加密的密文(加密算法未知): yvvnerujjvnywhbdvkpchfgvjtzwqsuporqfzpoekkjgziicdwwkeejdsruef   whwseyej ...

  5. 1c19b35b005744d55261682b361804fa 如何破解经过 MD5 算法处理的信息?

    Md5密文破解(解密)可以说是网络攻击中的一个必不可少的环节,是工具中的一个重要"辅助工具".md5解密主要用于网络攻击,在对网站等进行入侵过程,有可能获得管理员或者其他用户的账号 ...

  6. 算法之暴力破解和kmp算法 判断A字符串是否包含B字符串

    我们都知道java中有封装好的方法,用来比较A字符串是否包含B字符串 如下代码,contains,用法是 str1.contains(str2), 这个布尔型返回,存在返回true,不存在返回fals ...

  7. WC2015 题解

    K小割 题目链接:WC2015 K小割 Description 题目很清楚了,已经不能说的更简洁了-- Solution 这道题出题人挺毒的,你需要针对不同的部分分施用不同的做法 . 第\(1\)部分 ...

  8. bzoj AC倒序

    Search GO 说明:输入题号直接进入相应题目,如需搜索含数字的题目,请在关键词前加单引号 Problem ID Title Source AC Submit Y 1000 A+B Problem ...

  9. Android --Android Stuido混淆签名打包

    参考博客:Android studio 使用心得(五)—代码混淆和破解apk 参考博客:Android studio 使用心得(四)---android studio 多渠道打包 参考博客:Andro ...

随机推荐

  1. USACO 2015 December Contest, Platinum Problem Max Flow【树链剖分】

    题意比较难理解,就是给你n个点的树,然后给你m个修改操作,每一次修改包括一个点对(x, y),意味着将x到y所有的点权值加一,最后问你整个树上的点权最大是多少. 比较裸的树链剖分了,感谢Haild的讲 ...

  2. 安装arm-linux-gcc交叉编译器

    1.开发平台 虚拟机:VMware 12 操作系统:Ubuntu 14.04 2.准备交叉编译工具包(arm-linux-gcc-4.5.1) 编译uboot和linux kernel都需要gnu交叉 ...

  3. UVa 11495 - Bubbles and Buckets

    题目大意:给一个有n个数的序列,通过交换相邻的逆序数使这个序列最终有序,求需要交换的次数. 本来可以用冒泡排序解决,但是n达到105,用冒泡排序会超时,用O(nlogn)的归并排序可以达到要求.< ...

  4. Subpub 订阅/发布

    var Pubsub = (function (window) { window.handlers = {}; var o = { pub: function () { var args = Arra ...

  5. 动态创建Fastreport(delphi)

    动态创建Fastreport分以下几个步骤: 1.首先清空Fastreport,定义全局变量,并加载数据集    frReport.Clear;    frReport.DataSets.Add(fr ...

  6. ipyparallel 中的 pi的求法

    1.PI的求法的数学依据 如图,可以看见在边长为1的正方形里面,有一个1/4圆,我们随机在正方形中取点,点在圆内的概率和点在正方形内的概率之比正好为两者的面积之比.这样就有在圆内的点的数目比所有点的数 ...

  7. 淘宝的数据库拆分(TDDL)(转)

    淘宝的数据拆分历程 系 统刚开始的时候,因为系统刚上线,用户不多,那个时候,所有的数据都放在了同一个数据库中,这个时候因为用户少压力小,一个数据库完全可以应付的了,但是 随着运营那些哥们辛苦的呐喊和拼 ...

  8. css3实战版的点击列表项产生水波纹动画

    1.html+js: <!DOCTYPE html><html><head lang="en">    <meta charset=&qu ...

  9. OC类方法的调用

    有个Person类,有个Phone类,Person类想使用Phone类中打电话和发短信的方法 1.Phone.h         Phone有kind和color属性  ,方法定义的时候将用到的参数都 ...

  10. CSS控制之IE常见BUG及解决方案

    常见bug 解决方案 盒模型bug 使用严格doctype声明 双倍margin bug _display:inline; 不认识a:link 不加:link 3像素margin bug 规范浮动与清 ...