安全还不够：让智能合约从规格中生成
SmartSpec 从关系式功能规格与时序安全规格出发，借助验证反例综合 Solidity 合约的交易守卫，并在安全之外尽量保留正常行为。
Writing
全部 43 篇文章 →最近的记录
k8s配置文件语法学习
非常好导师，让我0基础从blockchain security转型分布式系统集群管理。 先来点K8S介绍吧 一、Intro of K8S Kubernetes（简称为K8s）是一个开源的容器编排平台，主要用于自动化部署、扩展…
2024年终总结（超长流水账+碎碎念）
2024对我来说似乎是一个很不一样的一年，相比于之前几年。 本来我以为今年没有去很多地方，但是翻看了一下相册，没想到今年还是有不少出去旅行的回忆。 23-24年的跨年我在西安和1997的好兄弟们，还有地导帝霸托，那是我第一次…
区块链初探-1
区块链初探 在好兄弟们的帮助下，终于开始进行区块链漏洞的学习，先是从Ethernaut (openzeppelin.com)开始入手（当脚本小子）。…
两个简单区块链漏洞复现
两个区块链漏洞复现 20210622 Eleven Finance 分析 Contract function emergencyBurn() public { //vulnerable point uint balan = …
NCTF 2022 Official WriteUp——Crypto
Misc 只因因 首先通过重复的特征氨基酸序列对给出的基因片段进行排列 通过比对发现，3片段中的内容被1片段和5片段包含，6片段被2片段包含。 得出排序：4-2-5-1，把重复段去除，得到完整的基因段 TGTCTGCCATT…