- 博客(12)
- 收藏
- 关注
原创 ZoKrates+Remix在线实现zkSNARK零知识证明
本文内容:利用 ZoKrates 生成的代码,写一个证明者证明自己知道某一个哈希值的 pre-iamge (哈希函数的输入值)的 zkSNARK, 将验证者的验证秘钥 verification key 和 验证算法 写到智能合约中,发布到本地虚拟的区块链网络中。至此便实现了大整数质因子分解的零知识证明,p和q是隐私输入,仅在生成证明的过程由证明者知道,n是公开输入,可以输入到公开的智能合约,智能合约自动验证零知识证明的有效性,并且修改n之后能检测出零知识证明已失效。
2023-07-13 19:53:08 589
原创 Ubuntu安装vtwo
安装后可以关掉服务,因为 v2rayA 不依赖于该 systemd 服务。先安装curlapt-get install curl。
2023-04-19 15:35:17 1239
原创 anaconda环境下安装torch+torch_geometric
PS: 若要删除镜像加速通道,则把”add channels”改为“remove channels"在我们新建的pytorch虚拟环境下,输入以下命令,查看有没有对应package。conda config --remove channels 【通道地址】conda remove -n 【虚拟环境名字】 --all。输入python,进入python解释器。输入“conda --version”可使用以下指令,查看镜像源是否配置成功。,之后再输入“python”。输入“conda info”
2023-04-19 15:15:48 3776
原创 Solidity学习(4.僵尸作战系统)
截至目前,我们只接触到很少的函数修饰符。要记住所有的东西很难,所以我们来个概览:我们有决定函数何时和被谁调用的可见性修饰符:private意味着它只能被合约内部调用;internal就像private但是也能被继承的合约调用;external只能从合约外部调用;最后public可以在任何地方调用,不管是内部还是外部。我们也有状态修饰符, 告诉我们函数如何和区块链交互:view告诉我们运行这个函数不会更改和保存任何数据;pure告诉我们这个函数不但不会往区块链写数据,它甚至不从区块链读取数据。
2023-02-03 16:27:51 209
原创 Solidity学习(3.高级 Solidity 理论)
到现在为止,我们讲的 Solidity 和其他语言没有质的区别,它长得也很像 JavaScript。但是,在有几点以太坊上的 DApp 跟普通的应用程序有着天壤之别。第一个例子,在你把智能协议传上以太坊之后,它就变得不可更改, 这种永固性意味着你的代码永远不能被调整或更新。你编译的程序会一直,永久的,不可更改的,存在以太坊上。这就是 Solidity 代码的安全性如此重要的一个原因。如果你的智能协议有任何漏洞,即使你发现了也无法补救。
2023-02-03 16:16:01 491
原创 Solidity学习(2.僵尸攻击人类)
在第一课中,我们创建了一个函数用来生成僵尸,并且将它放入区块链上的僵尸数据库中。在第二课里,我们会让我们的 app 看起来更像一个游戏: 它得支持多用户,并且采用更加有趣,而不仅仅使用随机的方式,来生成新的僵尸。如何生成新的僵尸呢?通过让现有的僵尸猎食其他生物!
2023-01-31 22:11:51 301
原创 Solidity学习(1.搭建僵尸工厂)
这是一个名为的函数,它接受两个参数:一个string类型的 和 一个uint类型的。现在函数内部还是空的。注:: 习惯上函数里的变量都是以()开头 (但不是硬性规定) 以区别全局变量。我们整个教程都会沿用这个习惯。
2023-01-29 23:40:12 512
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人