[Day 21] 區塊鏈與人工智能的聯動應用:理論、技術與實踐

區塊鏈的智能合約運行機制

區塊鏈技術自比特幣誕生以來,便以其去中心化、安全性和透明性等特點引起了廣泛的關注和應用。而智能合約作為區塊鏈技術的一大創新,進一步擴展了區塊鏈的應用場景,使其不僅僅局限於數字貨幣,還可以應用於各種交易和協議的自動化執行。本文將詳細介紹區塊鏈的智能合約運行機制,並通過代碼實例展示其實際應用。

1. 智能合約的基本概念

智能合約是一種基於區塊鏈技術的自動執行協議,它將合同條款編寫成代碼,當觸發特定條件時,合約自動執行。智能合約具有以下特點:

  • 自動執行:當條件滿足時,自動執行合約條款,無需人工干預。
  • 去中心化:合約的執行依賴於區塊鏈網絡,無需第三方中介。
  • 不可篡改:一旦部署到區塊鏈上,智能合約的代碼和數據不可更改,保障了合約的可信性。
2. 智能合約的運行機制

智能合約運行在區塊鏈的虛擬機上,例如以太坊的EVM(以太坊虛擬機)。當用戶發送交易觸發智能合約時,虛擬機負責執行合約代碼,並將執行結果寫入區塊鏈。智能合約的運行過程如下:

  1. 部署合約:將智能合約代碼部署到區塊鏈上,生成合約地址。
  2. 觸發合約:用戶通過交易調用合約的函數,觸發合約執行。
  3. 執行合約:區塊鏈節點在虛擬機上執行合約代碼,更新合約狀態。
  4. 記錄結果:執行結果和狀態變更被寫入區塊鏈,並廣播給所有節點。
3. 實例分析:使用Solidity編寫智能合約

Solidity是以太坊上最常用的智能合約編寫語言。下面是一個簡單的智能合約示例,展示如何編寫和部署一個簡單的投票合約。

代碼示例:簡單的投票合約
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract SimpleVoting {
    struct Candidate {
        uint id;
        string name;
        uint voteCount;
    }

    mapping(uint => Candidate) public candidates;
    mapping(address => bool) public voters;
    uint public candidatesCount;

    event VotedEvent(uint indexed candidateId);

    constructor() {
        addCandidate("Alice");
        addCandidate("Bob");
    }

    function addCandidate(string memory _name) private {
        candidatesCount++;
        candidates[candidatesCount] = Candidate(candidatesCount, _name, 0);
    }

    function vote(uint _candidateId) public {
        require(!voters[msg.sender], "You have already voted");
        require(_candidateId > 0 && _candidateId <= candidatesCount, "Invalid candidate");

        voters[msg.sender] = true;
        candidates[_candidateId].voteCount++;

        emit VotedEvent(_candidateId);
    }
}
代碼解釋:
  1. 合約聲明pragma solidity ^0.8.0;指定了Solidity編譯器版本。
  2. 結構體定義:定義了一個Candidate結構體,包含候選人的ID、姓名和得票數。
  3. 映射和狀態變量:使用mapping將候選人的ID映射到Candidate,並記錄已投票的用戶。candidatesCount記錄候選人數量。
  4. 事件:定義了一個VotedEvent事件,用於記錄投票事件。
  5. 構造函數:合約部署時自動調用,添加兩個候選人。
  6. 添加候選人函數addCandidate函數添加候選人到candidates映射中。
  7. 投票函數vote函數檢查用戶是否已投票及候選人ID是否有效,更新投票記錄和候選人得票數,並觸發VotedEvent事件。
4. 智能合約的部署與調用

部署智能合約需要使用工具,如Remix IDE或Truffle框架。以下將展示如何在Remix IDE中部署和調用上述投票合約。

部署智能合約
  1. 打開Remix IDE:進入Remix IDE。
  2. 創建合約文件:在文件管理器中新建一個.sol文件,將上述合約代碼粘貼進去。
  3. 編譯合約:點擊左側工具欄的編譯圖標,選擇合約文件,點擊編譯按鈕進行編譯。
  4. 部署合約:切換到部署選項卡,選擇編譯出的合約,點擊“Deploy”按鈕部署合約。
調用智能合約
  1. 檢查候選人:部署後,在“Deployed Contracts”下方展開合約,調用candidates函數查看候選人信息。
  2. 投票:調用vote函數,輸入候選人ID進行投票,並查看投票結果。
5. 智能合約的安全性考量

智能合約的安全性是關鍵問題,常見的安全性挑戰包括:

  • 重入攻擊:攻擊者在合約函數執行過程中重複調用函數,造成不預期的結果。
  • 溢出與下溢:數值計算中超出數據類型範圍,導致錯誤結果。
  • 權限控制:未妥善控制合約函數的訪問權限,導致合約被惡意調用。
代碼示例:防止重入攻擊
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract SecureContract {
    mapping(address => uint) public balances;

    function deposit() public payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint _amount) public {
        require(balances[msg.sender] >= _amount, "Insufficient balance");

        // 使用checks-effects-interactions模式防止重入攻擊
        uint previousBalance = balances[msg.sender];
        balances[msg.sender] -= _amount;
        payable(msg.sender).transfer(_amount);

        require(balances[msg.sender] == previousBalance - _amount, "Balance mismatch");
    }
}
代碼解釋:
  1. 合約聲明pragma solidity ^0.8.0;指定了Solidity編譯器版本。
  2. 映射和存款函數deposit函數允許用戶存款,更新用戶餘額。
  3. 取款函數withdraw函數防止重入攻擊,先更新用戶餘額,再進行轉賬操作,最後檢查餘額是否正確。
6. 智能合約的實際應用場景

智能合約具有廣泛的應用場景,以下是幾個典型應用:

  • 供應鏈管理:使用智能合約追踪產品的生產和運輸過程,確保透明度和可追溯性。
  • 數字身份認證:智能合約實現去中心化的身份驗證,保護用戶隱私。
  • 去中心化金融(DeFi):智能合約實現貸款、交易等金融服務,降低成本,提高效率。
代碼示例:去中心化金融(DeFi)中的貸款合約
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract DeFiLoan {
    struct Loan {
        uint amount;
        uint interest;
        address borrower;
        bool repaid;
    }

    mapping(uint => Loan) public loans;
    uint public loanCount;
    address public owner;

    event LoanCreated(uint loanId, uint amount, uint interest, address borrower);
    event LoanRepaid(uint loanId, uint amount, address borrower);

    constructor() {
        owner = msg.sender;
    }

    function createLoan(uint _amount, uint _interest) public {
        loanCount++;
        loans[loanCount] = Loan(_amount, _interest, msg.sender, false);
        emit LoanCreated(loanCount, _amount, _interest, msg.sender);
    }

    function repayLoan(uint _loanId) public payable {
        Loan storage loan = loans[_loanId];
        require(msg.sender == loan.borrower, "Only borrower can repay");
        require(!loan.repaid, "Loan already repaid");
        require(msg.value == loan.amount + loan.interest, "Incorrect amount");

        loan.repaid = true;
        payable(owner).transfer(msg.value);

        emit LoanRepaid(_loanId, msg.value, msg.sender);
    }
}
代碼解釋:
  1. 合約聲明pragma solidity ^0.8.0;指定了Solidity編譯器版本。
  2. 結構體定義:定義了一個Loan結構體,包含貸款金額、利息、借款人地址和還款狀態。
  3. 映射和狀態變量:使用mapping將貸款ID映射到Loan,記錄貸款信息。loanCount記錄貸款數量,owner記錄合約所有者。
  4. 事件:定義了兩個事件LoanCreatedLoanRepaid,分別用於記錄貸款創建和還款事件。
  5. 創建貸款函數createLoan函數創建新貸款,更新貸款記錄,並觸發LoanCreated事件。
  6. 還款函數repayLoan函數檢查還款條件,更新貸款狀態,將還款金額轉給合約所有者,並觸發LoanRepaid事件。
結論

智能合約作為區塊鏈技術的重要組成部分,通過其自動執行、去中心化和不可篡改的特性,為各種應用場景提供了高效、安全的解決方案。無論是在供應鏈管理、數字身份認證還是去中心化金融領域,智能合約都展現了其巨大的潛力和應用價值。隨著技術的不斷進步,智能合約在更多領域中的應用將會更加廣泛和深入,為社會帶來更多的創新和變革。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/775416.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

通过端口和进程pid查找启动文件/脚本

今天审计一个程序又让GPT给我上了一课&#xff0c;记一下笔记&#xff1a; 1、首先该程序开启了8080端口&#xff0c;使用如下命令得到pid为1817 netstat -tunlp|grep 80802、使用pid得到父进程 pstree -ps 1817输出结果如下&#xff1a; 3、看出程序是由systemd启动的&…

Windows 玩转大模型第一天:大模型本地部署,调用大模型API可直接工程化应用(全部代码和详细部署流程)

Ollama 是一个开源框架&#xff0c;专为在本地机器上便捷部署和运行大型语言模型&#xff08;LLM&#xff09;而设计。 以下是其主要特点和功能概述&#xff1a; 1. 简化部署&#xff1a;Ollama 目标在于简化在 Docker 容器中部署大型语言模型的过程&#xff0c;使得非专业用…

信创-办公软件应用工程师认证

随着国家对信息技术自主创新的战略重视程度不断提升&#xff0c;信创产业迎来前所未有的发展机遇。未来几年内&#xff0c;信创产业将呈现市场规模扩大、技术创新加速、产业链完善和国产化替代加速的趋势。信创人才培养对于推动产业发展具有重要意义。应加强高校教育、建立人才…

【EFK】efk 8收集docker容器日志测试

前言 目前&#xff0c;efk 全家桶已经更新到版本8 了&#xff0c;本章节我们使用8版本的elk搭建日志收集系统&#xff0c;了解它的配置运行过程&#xff0c;方便以后在更复杂的环境中更好的使用。 版本默认就是8最新的&#xff0c;也可以自己指定其他8的版本 elasticsearch: …

DisFormer:提高视觉动态预测的准确性和泛化能力

最新的研究进展已经显示出目标中心的表示方法在视觉动态预测任务中可以显著提升预测精度&#xff0c;并且增加模型的可解释性。这种表示方法通过将视觉场景分解为独立的对象&#xff0c;有助于模型更好地理解和预测场景中的变化。 尽管在静态图像的解耦表示学习方面已经取得了一…

【刷题汇总--游游的you、腐烂的苹果、孩子们的游戏(圆圈中最后剩下的数)】

C日常刷题积累 今日刷题汇总 - day0051、游游的you1.1、题目1.2、思路1.3、程序实现 - 蛮力法1.4、程序实现 - 贪心(优化) 2、腐烂的苹果2.1、题目2.2、思路2.3、程序实现 - bfs 3、孩子们的游戏(圆圈中最后剩下的数)3.1、题目3.2、思路3.3、程序实现 -- 环形链表3.4、程序实现…

html+js+css在线倒计时

代码在图片后面 点赞加关注 谢谢大佬照顾&#x1f61c; 图例 时间到前 时间到后 源代码 <!DOCTYPE html> <html lang"en"> <head> <meta charset"UTF-8"> <meta name"viewport" content"widthdevice-width,…

分支与循环

目录 1. if语句 1&#xff09;if 2) else 3&#xff09;分支中包含多条语句 4&#xff09;if嵌套 2.关系操作符 3.条件操作符 4.逻辑操作符&#xff1a;&& || ! 1) 逻辑取反运算符 !​编辑 2 与运算符​编辑 3) 或运算符​编辑 4) 闰年的判断 5) 短路 …

如何使用 SwiftUI 构建 visionOS 应用

文章目录 前言WindowsVolumes沉浸式空间结论 前言 Apple Vision Pro 即将推出&#xff0c;现在是看看 SwiftUI API 的完美时机&#xff0c;这使我们能够将我们的应用程序适应 visionOS 提供的沉浸式世界。苹果表示&#xff0c;构建应用程序的最佳方式是使用 Swift 和 SwiftUI。…

鸿蒙本地签名不匹配问题

连接鸿蒙手机运行项目报如下错误 这是由于本地签名和鸿蒙设备签名不匹配导致的&#xff0c;需要注释掉如下代码&#xff0c;选择file project 自动签名 勾选auto选项&#xff0c;会在build-profile.json5中生成一个签名&#xff0c;然后运行就ok了~

NXP i.MX8系列平台开发讲解 - 3.18 Linux tty子系统介绍(一)

专栏文章目录传送门&#xff1a;返回专栏目录 Hi, 我是你们的老朋友&#xff0c;主要专注于嵌入式软件开发&#xff0c;有兴趣不要忘记点击关注【码思途远】 目录 1. TTY 起源 2. Linux 系统中的TTY 2.1 Linux TTY 设备形式 2.2 Linux TTY framework 2.3 驱动核心相关文件…

「植物大战僵尸杂交版」保姆级攻略大全以及下载指南

植物大战僵尸杂交版自推出以来&#xff0c;以其独特的植物组合和策略玩法&#xff0c;迅速赢得了玩家们的喜爱。如果你正准备加入这场植物与僵尸的战斗&#xff0c;或者已经在战斗中寻求突破&#xff0c;那么这份保姆级的攻略大全将是你的得力助手。同时&#xff0c;我们也提供…

PLL和CDR的内部结构及其区别

比较PLL和CDR的内部结构及其区别&#xff1a; 基本结构&#xff1a; PLL&#xff08;相位锁定环&#xff09;&#xff1a; 相位检测器环路滤波器压控振荡器&#xff08;VCO&#xff09;分频器&#xff08;可选&#xff0c;用于频率合成&#xff09; CDR&#xff08;时钟数据恢复…

complex复数库学习

此头文件是数值库的一部分。本篇介绍complex的基本用法。 常用的API如下&#xff1a; 运算 real 返回实部 (函数模板) imag 返回虚部 (函数模板) abs(std::complex) 返回复数的模 (函数模板) arg 返回辐角 (函数模板) norm 返回模(范数)的平方 (函数模板) conj 返回复共轭 (函…

GuLi商城-商品服务-API-品牌管理-效果优化与快速显示开关

<template><div class"mod-config"><el-form :inline"true" :model"dataForm" keyup.enter.native"getDataList()"><el-form-item><el-input v-model"dataForm.key" placeholder"参数名&qu…

首个“可控”人物视频生成大模型--商汤Vimi:一张照片生成一分钟视频

商汤科技又整大活了&#xff0c;只需一张照片就能生成一分钟视频&#xff01; 7月4日&#xff0c;商汤发布了业内首个面向C端用户的、“可控”人物视频生成大模型产品Vimi&#xff0c;毫不夸张的说&#xff0c;视频制作者的福音来了&#xff01; Vimi有什么特别之处&#xff1…

Python爬虫零基础实战,简洁实用!

1.爬虫简介 简单来讲&#xff0c;爬虫就是一个探测机器&#xff0c;它的基本操作就是模拟人的行为去各个网站溜达&#xff0c;点点按钮&#xff0c;查查数据&#xff0c;或者把看到的信息背回来。就像一只虫子在一幢楼里不知疲倦地爬来爬去。 你可以简单地想象&#xff1a;每个…

Ubuntu 22.04 安装中文字体

笔者在用OpenCV4.9处理图片加水印时&#xff0c;中文乱码。原来是Ubuntu 22.04发行版缺少中文字体支持&#xff0c;因此&#xff0c;笔者就找资料安装了需要的中文字体&#xff0c;特此记录&#xff0c;以备后查。 1、打开终端&#xff1a; 2、更新软件包列表&#xff1a; su…

哏号分治,CF103D - Time to Raid Cowavans

一、题目 1、题目描述 2、输入输出 2.1输入 2.2输出 3、原题链接 103D - Time to Raid Cowavans 二、解题报告 1、思路分析 想了半天数据结构最终选择根号分治 我们考虑 大于 550 的公差直接暴力 小于550 的公差的所有询问&#xff0c;我们直接计算该公差后缀和&#xf…