08月19日, 区块链安全公司 (派盾)正式完成了对 YAM2.0 智能合约的安全审计服务。
此前备受关注的 YAM1.0 曾因一行代码漏洞,致使项目服务搁浅,并造成治理合约中的75万枚 yCRV 代币被永久锁定,而其项目代币 YAM 二级市场价格也在数分钟内跌落99%以上。
在 YAM 曝出 rebase 增发漏洞之后, 安全团队跟进分析,漏洞主要原因为:
弹性供应机制(rebase)存在一个代码公式的错误,致使第二次 rebase 触发时系统会自动增发10 ^ 18个新代币,如果行情一直保持高位的话,那么以后的每次 rebase 触发时都会进行指数级的增发,这将使小红薯 YAM 的数量变成一个可怕的天文级数字。这意味着,无论后期社区怎样委托投票,都无法获得足够的投票量对系统进行控制,整个系统将陷入失控无主状态。
而造成此次漏洞及拯救行动失败的原因, 安全团队认为:
1)YAM Finance 项目方在上线前没做好 unit test 及必要的第三方安全审计;
2)YAM Finance 项目方在发现漏洞后,没能及时有效在黄金急救期内完成项目治理的拯救行动。
因此,DeFi 项目在正式上线前一定要经过严密的上线测试和安全审计工作。
以上内容,详情可参看, 安全团队撰写的分析报告《》。
在 定位到关键问题后的不久时间内,YAM Finance 团队便主动联系到我们,就 YAM2.0 智能合约的安全审计和我们达成了合作。YAM 2.0 将对 YAM 1.0 合约进行系统迁移工作,同时持币用户可以进行1:1的映射,为下一代挖矿产品的上线做好准备工作。
选择和 YAM 合作:一方面,作为一个全社区共同关注的明星级项目,不应因一次安全问题就折戟,在经过我们专业的安全审计之后,相信会给 YAM2.0 的卷土重来提供有力技术支撑;另一方面, 服务了数十家 DeFi 平台,对 DeFi 跨平台可组合性的业务逻辑本身有独到的认识和了解,服务一个实验级的创新性协议,双方强强联合,会给 DeFi 社区注入新的驱动力量。
负责此次 YAM2.0 审计工作的 安全审计人员认为:
本次安全审计工作主要集中于 YAMv2 迁移合约的安全性和可靠性。主要审计内容如下:旧版 YAMv1 账号的余额查询和销毁逻辑、新版 YAMv2 账号的铸币,以及整体迁移逻辑的安全和完整评估。
经过数天的严密安全审计,我们发现 YAMv2 迁移合约的整体设计清晰,逻辑缜密,代码简练有效。我们期待 YAMv2 以及后续的表现!
作为业内领先的区块链安全公司,安全业务已覆盖全球范围,主要客户包括有:公链提供商 (EOS、Nervos、Harmony、AVA、HBTC、NEO 、IOST、Bytom、TRON、OKChain),头部钱包和矿池 (imToken、、比特派、Cobo 金库,),以及头部交易所(Huobi、KuCoin、Bithumb、Upbit、OKex)、DeFi 应用及智能合约(、、bZx、Aave、、、Set 、Zerion、Ren Project、Hydro 、dForce、Newdex、、、DeFis Pool、)等。
YAM 简介:
YAM 是一个实验性挖矿协议,整合了目前流行的流动性挖矿,社区治理以及弹性货币供给量调整等特性。可以根据市场情况弹性地扩大和减少代币供给量的代币,初始价格为1美元每 YAM 。YAM 每隔12小时(8am UTC, 8pm UTC)调整一次货币供应量。
YAM 的初始发行将均匀地分配给其八个抵押池: COMP、 LEND、 LINK、 MKR、 SNX、 WETH、 YFI 以及 ETH/ LP。YAM 作为治理代币,持有者可以将其用于链上投票,用来决定协议未来的发展与价值捕获。
简介:
「派盾」成⽴于2018年,是业界领先的区块链安全公司,核心团队曾服务于360、Intel、Juniper、Alibaba 等全球知名厂商,团队成员多次原创发现底层核心安全漏洞获得各大厂商官方致谢。
作为早期专注于区块链生态的头部安全公司,基于安全团队二十年来在代码分析、操作系统、⼤数据等安全业务领域的积累,提出了一整套渗透测试、代码审计、应急响应、链上数据监测,AML 反洗钱等安全与数据综合解决方案,业务覆盖区块链生态安全的各个环节。 团队因多个关键安全漏洞发现而广受业内关注,被 .io 纳入智能合约安全审计推荐名单,同时跻身「以太坊赏金猎人」全球排名 Top 3。
旗下成立了 、、 等多个独立的数据与安全服务品牌,致力于提升区块链生态整体的安全性、隐私性以及可用性,并为生态用户提供切实有效的数据与安全解决方案和服务。
基于单片机智能家居控制系统设计
**单片机设计介绍,基于单片机智能家居控制系统设计
文章目录
一 概要
基于单片机的智能家居控制系统设计旨在实现家居设备的自动化控制和智能化管理,提高家庭生活的便利性和舒适度。以下是该设计的概要:
一、系统组成
智能家居控制系统主要由单片机控制模块、传感器模块、执行器模块和用户接口模块等组成。
单片机控制模块:作为系统的核心,负责接收传感器数据、处理控制逻辑、输出控制信号,并与用户接口模块进行交互。
传感器模块:包括温湿度传感器、烟雾传感器、人体红外传感器等,用于实时监测家居环境的状态和变化。
执行器模块:包括继电器、电机驱动器等,根据单片机的控制信号,驱动相应的家居设备执行动作。
用户接口模块:包括触摸屏、手机APP等,为用户提供操作界面,方便用户控制设备和查看状态。
二、功能特点
自动化控制:系统能够根据传感器数据自动判断家居环境的状态,并控制执行器模块进行相应的动作,如自动调节温湿度、自动开关灯光等。
智能化管理:系统能够学习用户的使用习惯,并根据需求进行智能调节,如根据天气和时间自动调节窗帘的开合程度。
安全防护:系统能够实时监测家居环境的安全状况,如检测烟雾和天然气泄漏,一旦发现异常情况,立即触发报警装置,确保家庭安全。
三、设计要点
选择合适的单片机:根据系统需求选择合适的单片机,考虑其计算能力、性能、功耗和成本等因素。
优化传感器布局:根据家居环境的实际情况,合理布置传感器,确保能够全面、准确地监测家居状态。
完善控制逻辑:设计合理的控制算法和逻辑,实现家居设备的精确控制和智能化管理。
提供友好的用户接口:设计简洁、直观的用户操作界面,方便用户快速上手并享受智能家居带来的便利。
四、应用拓展
基于单片机智能家居控制系统可以进一步拓展其他功能,如语音控制、远程控制、场景设置等。通过与其他智能设备的连接和协同工作,实现更加全面、个性化的智能家居体验。
综上所述,基于单片机智能家居控制系统设计是一个涉及硬件、软件和算法等多个方面的综合性项目。通过合理的硬件选型和软件设计,可以实现家居设备的自动化控制和智能化管理,提高家庭生活的便利性和舒适度。
二、功能设计
本设计以单片机为核心控制器,加上其他的模块一起组成家电远程控制的整个系统,其中包含中控部分、输入部分和输出部分。中控部分采用了单片机,其主要作用是获取输入部分数据,经过内部处理,控制输出部分。输入由四部分组成,第一部分是蓝牙模块,通过JDY-31蓝牙与手机配对连接,通过手机远程控制加热、制冷、空调的开关、热水器的开关、空气净化器的开关;第二部分是DS18B20温度检测模块,用于获取当前温度值;第三部分是独立按键,通过三个独立按键切换自动/手动模式标志位、控制空调开关、空调打开时,控制加热、制冷、停止、控制热水器开关、控制空气净化器开关等;第四部分是供电电路,给整个系统进行供电。输出由六部分组成,第一部分是LCD1602显示模块, 通过该模块可以显示当前的温度、自动/手动模式、空调状态、空调的加热和制冷状态、热水器状态、空气净化器状态;第二部分是继电器控制加热片,当温度小于设置最小值时,加热继电器闭合,进行加热;第三部分是继电器控制制冷片,当温度大于设置最大值时,制冷片工作,进行制冷;第四部分是继电器控制空调,当温度不在设定的阈值之内,则继电器闭合,打开空调;第五部分是继电器控制热水器,在需要时打开或关闭;第六部分是继电器控制空气净化器,在需要时打开或关闭
设计思路
设计思路
文献研究法:搜集整理相关单片机系统相关研究资料,认真阅读文献,为研究做准备;
调查研究法:通过调查、分析、具体试用等方法,发现单片机系统的现状、存在问题和解决办法;
比较分析法:比较不同系统的具体原理,以及同一类传感器性能的区别,分析系统的研究现状与发展前景;
软硬件设计法:通过软硬件设计实现具体硬件实物,最后测试各项功能是否满足要求。
三、 软件设计
本系统原理图设计采用Altium ,具体如图。在本科单片机设计中,设计电路使用的软件一般是Altium 或proteus,由于Altium 功能强大,可以设计硬件电路的原理图、PCB图,且界面简单,易操作,上手快。Altium 是一款专业的整的端到端电子印刷电路板设计环境,用于电子印刷电路板设计。它结合了原理图设计、PCB设计、多种管理及仿真技术,能够很好的满足本次设计需求。
————————————————
仿真实现
本设计利用.7软件实现仿真设计,具体如图。
Protues也是在单片机仿真设计中常用的设计软件之一,通过设计出硬件电路图,及写入驱动程序,就能在不实现硬件的情况进行电路调试。另外,protues还能实现PCB的设计,在仿真中也可以与KEIL实现联调,便于程序的调试,且支持多种平台,使用简单便捷。
————————————————
原理图
五、 程序
本设计利用KEIL5软件实现程序设计,具体如图。作为本科期间学习的第一门编程语言,C语言是我们最熟悉的编程语言之一。当然,由于其功能强大,C语言是当前世界上使用最广泛、最受欢迎的编程语言。在单片机设计中,C语言已经逐步完全取代汇编语言,因为相比于汇编语言,C语言编译与运行、调试十分方便,且可移植性高,可读性好,便于烧录与写入硬件系统,因此C语言被广泛应用在单片机设计中。keil软件由于其兼容单片机的设计,能够实现快速调试,并生成烧录文件,被广泛应用于C语言的编写和单片机的设计。
————————————————
六、 文章目录
目 录
摘 要 I
II
引 言 1
1 控制系统设计 2
1.1 主控系统方案设计 2
1.2 传感器方案设计 3
1.3 系统工作原理 5
2 硬件设计 6
2.1 主电路 6
2.1.1 单片机的选择 6
2.2 驱动电路 8
2.2.1 比较器的介绍 8
2.3放大电路 8
2.4最小系统 11
3 软件设计 13
3.1编程语言的选择 13
4 系统调试 16
4.1 系统硬件调试 16
4.2 系统软件调试 16
结 论 17
参考文献 18
附录1 总体原理图设计 20
附录2 源程序清单 21
致 谢 25
*请认真填写需求信息,我们会在24小时内与您取得联系。