孔剑敏的博客

kjm go!.

智能合约part5:小知识点续

这里紧接上一篇智能合约part4,继续介绍一些我在学习智能合约时遇到的一些问题,这些问题的背后就是这些知识点。希望这样的分享可以让初学智能合约的同学少走点弯路! 7.return关键字: 这是你写智能合约必定会碰到的关键字,每个函数都必须带有return关键字,它的作用是指定返回的值,使用return时,我们不会用到返回值的变量名称,可以省略。 我们以一个简单合约为例来学习一下如何使用re...

抽象代数part2:格

一、偏序集 1.1偏序集定义 设𝑹是集合𝑺上的一个关系,如果𝑹是自反的、反对称的和可传递的,则称𝑹是集合𝑺的偏序关系,简称偏序,记作“≤”。 Ⅰ 自反性:对任意𝑥∈𝐴,有𝑥≤𝑥; Ⅱ 反对称性(即反对称关系):对任意𝑥,𝑦𝜖𝐴,若𝑥≤𝑦,且𝑦≤𝑥,则𝑥=𝑦; Ⅲ 传递性:对任意𝑥,𝑦,𝑧∈𝐴,若𝑥≤𝑦 ,且𝑦≤𝑧 ,则𝑥≤𝑧。 若在集合𝑺上给定一个偏序关系≤,则称集合𝑺按偏序关系≤构成一...

智能合约part4:小知识点

这里分享我在学智能合约时笔记中的小知识点部分,自己记的时候比较混乱,我在这里进行重新规整。 1.转账: 首先如何转账应该是大多数初学者会遇到的第一个小困难(起码我是这样),因为刚接触智能合约,一时间无法转变之前学的语言和合约的区别。以太坊有账户概念,转账也 是账户与账户(实际可以归为账户对应的地址),这点如果类比银行账户之间转账会更好理解一些。 而以太坊的账户是由四部分组成的: ①随机数:...

智能合约part3:新版本的一些语法改变

前言 现在大部分的语法教程都是0.4.24版本的,但是命令行自动下载的solidity 0.5.0以上的,所以亲测现在还必须得会 0.5.0的语法,总体变动是不大的。而且想比如其他 方法比如降版本,更快一些(之前暑假因为合约版本的问题还卡了几天/(ㄒoㄒ)/~~)。总体语法都是基于0.4.24,只是有些地方需要略微修改。可以配合remix学习。 比如, .call()不仅可以获知远程调用执...

抽象代数part1

近期在学习抽象代数(近世代数)的东西,目前是跟着视频看(太抽象了,光看书不好理解)。抽象代数的逻辑是群,环,域,格 目前还在看群部分的半群及幺半群,然后这篇文章主要传一下证的几个定理(算是小练习): 证明1:一个幺半群的任意多格子幺半群的交集仍然是子幺半群 证明2:设A是半群(S,o)的一个非空子集,则由A生成的左理想是A∪SA 证明3:设(M,·,e)和(M’,,e’)是两个幺半...

智能合约part2:基本语法

在了解完为什么要学习智能合约之后,我们开始学习智能合约的基本语法。 这里首先介绍一个solidity在线编译网站 https://ethereum.github.io/browser-solidity/#optimize=false&version=soljson-v0.4.24+commit.e67f0147.js ,你可以在上面在线编译自己的合约,检查语法错误等。 接下来我会介...

智能合约part1:简单理解合约

大家好!今天为大家带来的是智能合约的学习part1,这边的合约是基于以太坊的智能合约,也是目前最普遍使用的智能合约之一,语言是solidity。 首先,我们需要知道为什么要学习智能合约,它有什么用? 我们先从一个简单的例子开始。比如两个人A和B打赌皇马和巴萨谁会赢,为了防止双方有人耍赖,这时候需要一个“裁判”或者“中间人”,他负责接受来自A和B的赌金,并由他根据比赛结果把钱都赢的一方。而智...

大家好!

接下来我会陆续上传自己研一时期学习的一些心得和经验,不管有没有人看,都会作为我自己激励和总结的过程!加油!