Tối ưu hóa hợp đồng thông minh trên Ethereum: Luận văn Thạc sĩ tại Trường Đại học Bách Khoa Hà Nội

Tối ưu hóa hợp đồng thông minh trên Ethereum giúp cải thiện hiệu suất, giảm chi phí giao dịch và tăng tính bảo mật cho các ứng dụng blockchain.

• Tác giả: Nguyen Quang Thang
• Người hướng dẫn: Dr. Do Ba Lam
• Trường học: Hanoi University of Science and Technology
• Chuyên ngành: Data Science
• Đề tài: Tối ưu hóa hợp đồng thông minh trên Ethereum
• Loại tài liệu: master thesis
• Năm xuất bản: 2022
• Địa điểm: Hanoi

Tóm tắt

I. Tổng Quan Về Tối Ưu Hợp Đồng Thông Minh Ethereum

Trong những năm gần đây, blockchain nổi lên như một công nghệ đầy hứa hẹn, có khả năng tạo ra những thay đổi đáng kể trong hoạt động của các công ty, tổ chức và chính phủ trên toàn thế giới. Các hợp đồng thông minh (smart contract), với khả năng đại diện cho các thỏa thuận phức tạp thông qua mã và cung cấp luồng thực thi tự động mà không cần sự can thiệp của bất kỳ bên thứ ba nào, đang được sử dụng rộng rãi trong nhiều lĩnh vực, bao gồm tài chính, nghệ thuật, trò chơi, v.v. Uniswap là giao thức hàng đầu để trao đổi tài sản trong mạng Ethereum, với khối lượng giao dịch hơn 831 tỷ USD và hơn 88 triệu giao dịch trao đổi. OpenSea là thị trường kỹ thuật số đầu tiên và lớn nhất thế giới dành cho các vật phẩm sưu tầm tiền điện tử và NFT, với hơn 2. Với khả năng đại diện cho các thỏa thuận phức tạp thông qua mã và cung cấp luồng thực thi tự động mà không cần sự can thiệp của bất kỳ bên thứ ba nào, hợp đồng thông minh được sử dụng trong nhiều lĩnh vực, bao gồm tài chính, nghệ thuật, trò chơi, v.v.

1.1. Giới Thiệu Về Blockchain và Ứng Dụng Hợp Đồng Thông Minh

Blockchain là một cơ sở dữ liệu công khai được cập nhật và chia sẻ trên nhiều máy tính trong mạng. Mỗi “khối” (block) chứa dữ liệu và trạng thái được lưu trữ trong các nhóm liên tiếp. Khi một khối mới được tạo, nó được liên kết với khối trước đó thông qua hàm băm (hash) của khối trước. Blockchain bao gồm bốn định nghĩa chính: “khối”, “nút” (node), “cơ chế đồng thuận” (consensus mechanism) và “thợ đào” (miner). Mỗi khối bao gồm các giao dịch và các thuộc tính khác như hàm băm của khối trước, dấu thời gian, nonce, v.v. Các khối mới được phát tới các nút trong mạng, được kiểm tra và xác minh, do đó cập nhật trạng thái của blockchain cho mọi người. Với nhiều nút trong blockchain, mạng sẽ không gặp vấn đề nếu nó chứa một số nút bị hỏng, làm tăng tính khả dụng của mạng blockchain.

1.2. Ethereum Blockchain Nền Tảng Cho Hợp Đồng Thông Minh

Ethereum blockchain về cơ bản là một máy trạng thái dựa trên giao dịch. Với máy trạng thái của Ethereum, trạng thái genesis tương tự như một bảng trắng trước khi bất kỳ giao dịch nào xảy ra trên mạng. Khi các giao dịch được thực hiện, trạng thái genesis này chuyển sang một trạng thái cuối cùng nào đó. Mỗi thợ đào cung cấp một “bằng chứng” toán học khi gửi một khối tới blockchain và bằng chứng này hoạt động như một sự đảm bảo: nếu bằng chứng tồn tại, khối phải hợp lệ. Quá trình xác thực mỗi khối bằng cách yêu cầu thợ đào cung cấp bằng chứng toán học được gọi là “bằng chứng công việc” (proof of work).

II. Thách Thức Tối Ưu Gas và Bảo Mật Hợp Đồng Thông Minh

Việc tối ưu gas trong hợp đồng thông minh trở nên cần thiết để tiết kiệm chi phí cho cả nhà phát triển và người dùng tương tác trực tiếp với các hợp đồng này. Để tối ưu hóa gas, các nhà phát triển thường cần có kiến thức sâu rộng về blockchain và ngôn ngữ lập trình, điều này gây ra một thách thức đáng kể cho các lập trình viên mới. Việc tối ưu hóa mức tiêu thụ gas trong hợp đồng thông minh hoàn toàn khác với việc tối ưu hóa mã nguồn trong các ngôn ngữ lập trình truyền thống như Python, Java, C, v.v. Ngay cả với các nhà phát triển có kinh nghiệm, vẫn mất thời gian để tối ưu hóa hợp đồng thông minh, đặc biệt là các hợp đồng có kích thước lớn.

2.1. Vấn Đề Chi Phí Gas Cao Trên Mạng Lưới Ethereum

Một trong những thách thức lớn nhất khi phát triển và triển khai hợp đồng thông minh trên Ethereum là chi phí gas cao. Mỗi hoạt động trên EVM (Ethereum Virtual Machine) đều tiêu tốn một lượng gas nhất định, và tổng chi phí gas cho một giao dịch có thể rất lớn, đặc biệt là đối với các hợp đồng phức tạp. Điều này có thể làm tăng đáng kể chi phí sử dụng các ứng dụng phi tập trung (dApps) và hạn chế khả năng tiếp cận của người dùng.

2.2. Rủi Ro Bảo Mật và Các Lỗ Hổng Trong Hợp Đồng Thông Minh

Ngoài vấn đề chi phí gas, bảo mật cũng là một mối quan tâm lớn đối với hợp đồng thông minh. Các hợp đồng thông minh dễ bị tấn công nếu không được thiết kế và triển khai cẩn thận. Các lỗ hổng bảo mật có thể dẫn đến mất mát tài sản, đánh cắp dữ liệu và các hậu quả nghiêm trọng khác. Các cuộc tấn công phổ biến bao gồm tấn công Reentrancy, Overflow/Underflow, Timestamp dependence, Denial of Service (DoS), và Front Running.

III. Cách Tối Ưu Gas Hợp Đồng Thông Minh Hướng Dẫn Chi Tiết

Để giải quyết những thách thức trên, cần nghiên cứu toàn diện về Solidity – ngôn ngữ phổ biến nhất được sử dụng để phát triển hợp đồng thông minh, sau đó trình bày các quy tắc mô tả các mã lãng phí và cách khắc phục chúng mà không thay đổi logic của hợp đồng thông minh. Tiếp theo, phát triển một trình tối ưu hóa gas tự động để phát hiện và đề xuất các giải pháp cho các hợp đồng thông minh dựa trên Solidity trước khi các nhà phát triển xuất bản chúng trên Ethereum. Mặc dù nhiều người nghiên cứu về tiết kiệm gas trên hợp đồng thông minh, nhưng công việc của họ thường là trên các hợp đồng bytecode. Do đó, các nhà phát triển gặp khó khăn trong việc sửa chữa hợp đồng khi phát hiện ra vấn đề vì các nhà phát triển thường sử dụng ngôn ngữ cấp cao để phát triển hợp đồng thông minh.

3.1. Sử Dụng Biến Immutable và Constant Để Tiết Kiệm Gas

Sử dụng các biến immutable và constant là một cách hiệu quả để giảm chi phí gas. Các biến immutable được gán giá trị một lần khi triển khai hợp đồng và không thể thay đổi sau đó. Các biến constant được gán giá trị tại thời điểm biên dịch và không chiếm dung lượng lưu trữ. Bằng cách sử dụng các biến này, có thể tránh được chi phí lưu trữ và truy xuất dữ liệu, giúp tiết kiệm gas.

3.2. Tối Ưu Hóa Vòng Lặp và Sử Dụng Data Packing

Các vòng lặp có thể tốn kém về mặt gas nếu không được tối ưu hóa đúng cách. Nên tránh thực hiện các phép toán phức tạp hoặc truy cập bộ nhớ trong vòng lặp. Data packing là một kỹ thuật đóng gói nhiều biến nhỏ vào một khe lưu trữ duy nhất. Điều này có thể giúp giảm số lượng khe lưu trữ cần thiết và tiết kiệm gas. Ví dụ, có thể đóng gói nhiều biến kiểu uint8 vào một biến kiểu uint256.

3.3. Hạn Chế Sử Dụng Storage và Ưu Tiên Memory

Truy cập storage tốn kém hơn nhiều so với truy cập memory. Do đó, nên hạn chế sử dụng storage và ưu tiên sử dụng memory khi có thể. Có thể lưu trữ dữ liệu tạm thời trong memory và chỉ ghi vào storage khi cần thiết. Điều này có thể giúp giảm đáng kể chi phí gas.

IV. Công Cụ Hỗ Trợ Tối Ưu Hợp Đồng Thông Minh Ethereum

Hiện nay, có nhiều công cụ hỗ trợ các nhà phát triển trong việc tối ưu hóa hợp đồng thông minh. Các công cụ này có thể giúp phát hiện các vấn đề về gas, phân tích hiệu suất và đề xuất các giải pháp tối ưu hóa. Một số công cụ phổ biến bao gồm Slither, Mythril, Oyente, Truffle, Hardhat, và Remix IDE. Các công cụ này sử dụng các kỹ thuật static analysis và dynamic analysis để phân tích mã nguồn và bytecode của hợp đồng thông minh.

4.1. Giới Thiệu Về GasSaver Công Cụ Tự Động Tối Ưu Gas

Luận văn này giới thiệu GasSaver – một công cụ mã nguồn mở phân tích các hợp đồng dựa trên Solidity và đề xuất các sửa đổi để giảm phí giao dịch. Công cụ này, dựa trên bảy quy tắc để xác định các mã không được tối ưu hóa, cho thấy rằng 6.333 trong tổng số 10.245 hợp đồng tương tác hàng đầu trên Ethereum chứa ít nhất một vấn đề tối ưu hóa và các vấn đề này là hơn 30.000. GasSaver là một công cụ hiệu quả để giúp các nhà phát triển hợp đồng thông minh Solidity phát hiện và sửa các mã lãng phí gas.

4.2. Các Công Cụ Phân Tích Mã Tĩnh Slither Mythril Oyente

Slither, Mythril, và Oyente là các công cụ phân tích mã tĩnh phổ biến được sử dụng để phát hiện các lỗ hổng bảo mật và các vấn đề về gas trong hợp đồng thông minh. Các công cụ này phân tích mã nguồn của hợp đồng thông minh mà không cần thực thi nó. Slither tập trung vào việc phát hiện các lỗi phổ biến và các mẫu mã không an toàn. Mythril sử dụng phân tích tượng trưng để tìm kiếm các đường dẫn thực thi có thể dẫn đến các lỗ hổng. Oyente sử dụng một phương pháp tiếp cận kết hợp để phân tích mã tĩnh và động.

V. Ứng Dụng Thực Tiễn và Nghiên Cứu Về Tối Ưu Hợp Đồng Thông Minh

Việc tối ưu hóa hợp đồng thông minh có nhiều ứng dụng thực tiễn trong các lĩnh vực khác nhau, bao gồm DeFi, NFT, và DAO. Trong lĩnh vực DeFi, việc tối ưu hóa gas có thể giúp giảm chi phí giao dịch và tăng hiệu quả sử dụng vốn. Trong lĩnh vực NFT, việc tối ưu hóa gas có thể giúp giảm chi phí đúc và giao dịch NFT. Trong lĩnh vực DAO, việc tối ưu hóa gas có thể giúp giảm chi phí bỏ phiếu và quản trị.

5.1. Tối Ưu Hợp Đồng ERC 20 và ERC 721 Để Giảm Chi Phí Gas

Các tiêu chuẩn ERC-20 và ERC-721 là các tiêu chuẩn phổ biến cho token trên Ethereum. Việc tối ưu hóa các hợp đồng tuân theo các tiêu chuẩn này có thể giúp giảm chi phí gas cho các giao dịch liên quan đến token. Có thể sử dụng các kỹ thuật như data packing, immutable variables, và constant variables để tối ưu hóa các hợp đồng ERC-20 và ERC-721.

5.2. Sử Dụng Layer 2 Scaling Solutions Để Giảm Tải Cho Ethereum

Layer-2 scaling solutions là các giải pháp giúp giảm tải cho mạng Ethereum bằng cách xử lý các giao dịch ngoài chuỗi chính. Các giải pháp này bao gồm Rollups, State channels, Plasma, và Sidechains. Bằng cách sử dụng các giải pháp Layer-2, có thể giảm đáng kể chi phí gas và tăng tốc độ giao dịch.

VI. Tương Lai Của Tối Ưu Hợp Đồng Thông Minh Trên Ethereum

Tương lai của tối ưu hóa hợp đồng thông minh trên Ethereum hứa hẹn nhiều tiềm năng phát triển. Với sự phát triển của các công nghệ mới như zk-SNARKs, zk-STARKs, và Optimistic Rollups, có thể đạt được hiệu quả gas cao hơn và bảo mật tốt hơn. Ngoài ra, việc phát triển các công cụ và phương pháp tối ưu hóa tự động sẽ giúp các nhà phát triển dễ dàng tạo ra các hợp đồng thông minh hiệu quả và an toàn.

6.1. Phát Triển Các Giải Pháp Zero Knowledge Proofs

Zero-knowledge proofs là một công nghệ cho phép chứng minh một tuyên bố là đúng mà không tiết lộ bất kỳ thông tin nào về tuyên bố đó. Các giải pháp zero-knowledge proofs như zk-SNARKs và zk-STARKs có thể được sử dụng để tạo ra các hợp đồng thông minh bảo mật và hiệu quả hơn.

6.2. Tự Động Hóa Quy Trình Tối Ưu Hóa Hợp Đồng Thông Minh

Việc tự động hóa quy trình tối ưu hóa hợp đồng thông minh là một hướng đi quan trọng trong tương lai. Các công cụ tự động có thể giúp phát hiện các vấn đề về gas, đề xuất các giải pháp tối ưu hóa và thậm chí tự động sửa đổi mã nguồn. Điều này sẽ giúp các nhà phát triển tiết kiệm thời gian và công sức, đồng thời đảm bảo rằng các hợp đồng thông minh được tối ưu hóa tốt nhất.

Nội dung chính

Tổng quan nghiên cứu

Sự bùng nổ của công nghệ chuỗi khối đã biến Ethereum trở thành nền tảng thực thi hợp đồng thông minh hàng đầu thế giới với hơn 458.939 hợp đồng được triển khai tính đến tháng 1 năm 2022. Tuy nhiên, rào cản tài chính lớn nhất đối với các nhà phát triển và người dùng hiện nay là phí giao dịch (gas fee). Điển hình như giao thức Wyvern Exchange của OpenSea từng ghi nhận mức tiêu thụ 13,43 tỷ gas chỉ trong một ngày 12 tháng 2 năm 2022, tương đương chi phí vận hành hơn 1,5 triệu USD tại thời điểm giao dịch. Thực trạng này đặt ra yêu cầu cấp thiết về việc tối ưu hóa mã nguồn nhằm giảm thiểu chi phí vận hành và bảo vệ tính kinh tế của các ứng dụng phi tập trung.

Mục tiêu cốt lõi của đề tài là nghiên cứu sâu về cơ chế tính phí của Máy ảo Ethereum (EVM), từ đó đề xuất hệ thống 7 quy tắc tối ưu hóa mã nguồn cấp cao Solidity và xây dựng công cụ kiểm tra tự động mang tên GasSaver. Nghiên cứu được thực hiện tại Trường Công nghệ Thông tin và Truyền thông thuộc Đại học Bách Khoa Hà Nội trong thời gian từ ngày 10 tháng 4 năm 2021 đến ngày 10 tháng 4 năm 2022. Ý nghĩa thực tiễn của công trình thể hiện ở việc phát hiện hơn 30.000 điểm lãng phí gas trong các hợp đồng hàng đầu, giúp tiết kiệm từ vài trăm đến hàng chục nghìn đơn vị gas trên mỗi lượt thực thi mà không làm thay đổi logic nghiệp vụ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng kiến trúc máy ảo Ethereum (EVM) với mô hình máy tính ngăn xếp 256-bit (Stack-based Machine) và hệ thống lưu trữ phân cấp Merkle Patricia Trie. Cơ chế tiêu thụ gas trong EVM quy định mức phí riêng biệt cho từng mã vận hành (Opcode). Thao tác ghi dữ liệu mới lên bộ lưu trữ trạng thái thông qua mã SSTORE tiêu tốn 20.000 gas, trong khi việc truy xuất bộ nhớ trạng thái chưa khởi tạo thông qua mã Gcoldsload tiêu tốn 2.100 gas, và thao tác đọc bộ nhớ tạm MLOAD chỉ tiêu tốn 3 gas.

Bên cạnh đó, đề tài khai thác sâu lý thuyết biểu diễn dữ liệu trong ngôn ngữ lập trình Solidity và lý thuyết tối ưu hóa luồng điều khiển. Ba khái niệm trọng tâm bao gồm: đóng gói biến trạng thái (Storage Packing) theo khe 32 bytes, định vị dữ liệu phân cấp (calldata so với memory), và luật tương đương logic De Morgan để rút gọn biểu thức boolean.

Phương pháp nghiên cứu

Nghiên cứu sử dụng phương pháp thực nghiệm kết hợp phân tích tĩnh cây cú pháp trừu tượng (Abstract Syntax Tree - AST). Nguồn dữ liệu bao gồm hai tập mẫu quy mô lớn: tập dữ liệu thứ nhất gồm 4.615 hợp đồng thông minh đã xác minh từ nghiên cứu học thuật của Tamara, và tập dữ liệu thứ hai gồm 10.245 hợp đồng đã xác minh được trích xuất từ bảng xếp hạng top 15.000 hợp đồng có lượt tương tác địa chỉ ví cao nhất mạng Ethereum trên Dune Analytics tính đến ngày 4 tháng 2 năm 2022.

Phương pháp chọn mẫu có chủ đích (purposive sampling) được áp dụng để tập trung vào các hợp đồng có tương tác thực tế cao, phản ánh chính xác tác động kinh tế của phí gas. Nhóm tác giả lựa chọn thư viện phân tích cú pháp Solidity Parser dựa trên ngữ pháp ANTLR để xử lý AST, kết hợp thuật toán tối ưu xếp thùng (Bin Packing Problem) và kỹ thuật quy hoạch động (Dynamic Programming). Phương pháp này cho phép nhận diện chính xác các cấu trúc mã lãng phí gas ngay trong quá trình bóc tách mã nguồn với độ trễ xử lý cực thấp.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình quét tự động bằng công cụ GasSaver trên hai tập dữ liệu lớn đã mang lại nhiều kết quả định lượng mang tính đột phá:

• Trong tập dữ liệu thứ nhất (4.615 hợp đồng), có 2.133 hợp đồng (chiếm tỷ lệ 46,2%) chứa ít nhất một lỗi lãng phí gas, trong đó lỗi không gán từ khóa hằng số (CSV) xuất hiện tại 1.331 hợp đồng và lỗi định vị dữ liệu/tầm nhìn hàm (DLFV) xuất hiện tại 861 hợp đồng.
• Trong tập dữ liệu thứ hai (10.245 hợp đồng tương tác nhiều nhất), có tới 6.333 hợp đồng (chiếm tỷ lệ 61,8%) tồn tại cấu trúc mã chưa tối ưu, phát hiện tổng cộng hơn 30.000 vị trí vi phạm. Trong đó, vi phạm biến trạng thái bất biến (ISV) chiếm 1.879 hợp đồng, CSV chiếm 3.547 hợp đồng, và DLFV chiếm 2.879 hợp đồng.
• Về mặt chi phí, việc gộp vòng lặp có cùng bước lặp (Loop Combination) giúp giảm 3.888 gas khi triển khai và 419 gas cho mỗi lượt gọi hàm. Việc đưa phép tính bất biến ra ngoài vòng lặp (Repeated Computation in Loop) giúp giảm 312 gas cho mỗi lượt thực thi. Đặc biệt, việc sắp xếp tối ưu thành viên trong Struct (MAS) giúp giảm bớt các khe lưu trữ 32 bytes, trực tiếp cắt giảm 20.000 gas cho mỗi thao tác SSTORE bị loại bỏ.

Thảo luận kết quả

Nguyên nhân chính dẫn đến sự xuất hiện dày đặc của các lỗi lãng phí gas là do thói quen của các lập trình viên thường chuyển dịch tư duy từ các ngôn ngữ truyền thống như C++, Java sang Solidity mà không chú ý đến chi phí vận hành đặc thù của từng opcode EVM. Nhóm quy tắc biểu diễn dữ liệu (Data Representation) như MAS, CSV, ISV và DLFV có tần suất vi phạm cao hơn nhiều so với nhóm quy tắc quan hệ logic (Logic Relation) vì các quy tắc này phụ thuộc chặt chẽ vào đặc thù quản trị bộ nhớ của Ethereum.

Dữ liệu phân tích thực nghiệm có thể được trực quan hóa thông qua biểu đồ phân bố vi phạm (Distribution of Violations) và bảng so sánh chi phí tiêu thụ gas trước - sau tối ưu. Kết quả kiểm thử hiệu năng cho thấy GasSaver hoàn thành quá trình phân tích trong khoảng từ 0 đến 1.000 ms đối với hơn 90% hợp đồng mẫu, và chỉ mất tối đa khoảng 7.000 ms đối với các cấu trúc phức tạp có trên 10 trường dữ liệu. So với công cụ của nhóm nghiên cứu Tamara, GasSaver thể hiện tính tương thích vượt trội với các phiên bản Solidity mới từ 0.6.5 trở lên và đưa ra các đề xuất chỉnh sửa trực tiếp ở tầng mã nguồn thay vì chỉ dừng lại ở tầng bytecode khó đọc.

Đề xuất và khuyến nghị

Dựa trên kết quả thực nghiệm, nghiên cứu đưa ra 4 giải pháp cụ thể nhằm tối ưu hóa chi phí cho hệ sinh thái hợp đồng thông minh:

1. Tái cấu trúc thành viên trong cấu trúc dữ liệu Struct (MAS): Lập trình viên cần gom các kiểu dữ liệu có kích thước nhỏ hơn 32 bytes (như uint128, uint64, address, bool) đứng liền kề nhau để trình biên dịch đóng gói vào chung một slot lưu trữ. Giải pháp này giúp cắt giảm ngay 20.000 đến 40.000 gas cho mỗi slot tiết kiệm được trong chu kỳ phát triển quý 1.
2. Tối ưu hóa thuộc tính hiển thị hàm và vị trí bộ nhớ (DLFV): Đội ngũ phát triển cần chuyển đổi các hàm không được gọi nội bộ sang tầm nhìn external và thay đổi vị trí của các tham số kiểu dữ liệu phức tạp từ memory sang calldata. Thao tác này giúp tiết kiệm từ 1.500 đến 3.000 gas trên mỗi giao dịch gọi hàm của người dùng.
3. Áp dụng triệt để từ khóa constant và immutable (CSV/ISV): Kỹ sư smart contract bắt buộc phải khai báo từ khóa constant cho biến gán giá trị tĩnh và immutable cho biến chỉ gán một lần trong constructor, loại bỏ hoàn toàn chi phí đọc từ bộ lưu trữ SLOAD tốn 2.100 gas trên mỗi lần truy cập.
4. Tích hợp công cụ phân tích tự động GasSaver vào pipeline CI/CD: Doanh nghiệp Web3 và các tổ chức kiểm toán nên nhúng công cụ GasSaver vào quy trình rà soát mã nguồn tự động, hướng tới mục tiêu giảm thiểu trên 60% lỗi lãng phí gas trước khi triển khai lên mạng chính thức trong vòng 6 tháng tới.

Đối tượng nên tham khảo luận văn

Công trình nghiên cứu mang lại giá trị thực tiễn và học thuật cho 4 nhóm đối tượng trọng tâm:

1. Lập trình viên hợp đồng thông minh Solidity: Giúp các kỹ sư nắm vững 7 quy tắc viết mã tiết kiệm gas, hiểu rõ cơ chế vận hành của EVM để giảm thiểu chi phí triển khai và phí giao dịch cho sản phẩm.
2. Chuyên gia kiểm toán an toàn và tối ưu Smart Contract: Sử dụng khung phân tích của GasSaver như một bộ tiêu chuẩn kiểm toán để đánh giá mức độ tối ưu hóa tài nguyên on-chain của các dự án DeFi, GameFi và NFT.
3. Nhà nghiên cứu và giảng viên chuyên ngành Công nghệ thông tin: Nguồn tài liệu tham khảo giá trị về phân tích cây cú pháp trừu tượng AST, giải thuật đóng gói thùng và kỹ thuật tối ưu hóa mã nguồn trên nền tảng phi tập trung.
4. Nhà quản lý dự án và kiến trúc sư hệ sinh thái Web3: Giúp hoạch định ngân sách triển khai hợp đồng thông minh, nâng cao tính cạnh tranh của sản phẩm khi giảm bớt 20% đến 50% gánh nặng phí gas cho người dùng cuối.

Câu hỏi thường gặp

1. Tại sao việc tối ưu hóa gas ở tầng mã nguồn Solidity lại ưu việt hơn tầng Bytecode? Tối ưu hóa ở tầng mã nguồn cho phép lập trình viên trực tiếp can thiệp và chỉnh sửa logic nghiệp vụ một cách minh bạch. Trong khi bytecode rất khó đọc và khó đối soát ngược, công cụ GasSaver phân tích trực tiếp cú pháp Solidity giúp chỉ rõ hơn 30.000 vị trí lỗi và gợi ý giải pháp sửa đổi mã cụ thể.

2. Quy tắc sắp xếp thành phần trong Struct (MAS) giúp tiết kiệm gas theo cơ chế nào? Máy ảo EVM lưu trữ trạng thái theo từng khe 32 bytes (256-bit). Khi các biến kích thước nhỏ được sắp xếp liền kề, trình biên dịch sẽ đóng gói chúng vào cùng một khe lưu trữ, giúp giảm bớt số lượng lệnh SSTORE vốn tiêu tốn tới 20.000 gas cho mỗi thao tác ghi dữ liệu mới.

3. Khi nào lập trình viên nên sử dụng calldata thay vì memory cho tham số đầu vào? Khi một hàm được khai báo với tầm nhìn external và tham số truyền vào là kiểu dữ liệu phức tạp (mảng, chuỗi ký tự, struct) không bị chỉnh sửa bên trong hàm, việc dùng calldata giúp đọc dữ liệu trực tiếp từ payload giao dịch mà không tốn chi phí sao chép vào bộ nhớ memory.

4. Sự khác biệt căn bản giữa việc khai báo constant và immutable trong Solidity là gì? Biến constant được gán giá trị cố định ngay tại thời điểm biên dịch, trong khi biến immutable có thể được gán một lần duy nhất trong hàm khởi tạo constructor. Cả hai đều nhúng giá trị trực tiếp vào bytecode, giúp tránh thao tác SLOAD tốn 2.100 gas mỗi lần truy xuất.

5. Công cụ GasSaver có nguy cơ làm biến đổi logic thực thi của hợp đồng thông minh không? Không, toàn bộ 7 quy tắc do GasSaver áp dụng đều dựa trên các phép biến đổi tương đương về mặt ngữ nghĩa và cấu trúc lưu trữ. Mọi chức năng nghiệp vụ của hợp đồng thông minh đều được bảo toàn nguyên vẹn 100% sau khi tối ưu hóa.

Kết luận

• Luận văn đã hệ thống hóa toàn diện cơ chế tính phí gas của EVM và đề xuất 7 quy tắc tối ưu hóa mã nguồn cấp cao cho ngôn ngữ Solidity.
• Xây dựng thành công công cụ mã nguồn mở GasSaver dựa trên bộ phân tích AST và giải thuật tối ưu hóa xếp thùng, đạt tốc độ xử lý dưới 1.000 ms cho phần lớn hợp đồng.
• Kiểm thử thực nghiệm trên 10.245 hợp đồng hàng đầu Ethereum, phát hiện 61,8% hợp đồng chứa lỗi lãng phí gas với hơn 30.000 điểm vi phạm cụ thể.
• Lộ trình phát triển trong 12 tháng tới sẽ tiếp tục mở rộng GasSaver để hỗ trợ phân tích luồng dữ liệu phức tạp và tối ưu hóa các lệnh Assembly nội tuyến.
• Các nhà phát triển và tổ chức Web3 hãy nhanh chóng áp dụng các quy tắc tối ưu hóa của đề tài để giảm thiểu chi phí vận hành và xây dựng các ứng dụng phi tập trung bền vững.

Trích đoạn nội dung tài liệu

HANOI UNIVERSITY OF SCIENCE AND TECHNOLOGY MASTER THESIS IN DATA SCIENCE AND ARTIFICIAL INTELLIGENCE Optimizing smart contracts on Ethereum NGUYEN QUANG THANG thang.vn Supervisor: Dr. Do Ba Lam —————————————- Institution: School of Information and Communication Technology 123doc Mang Luôn thay vì h■■ng l■im■i s■ cam tr■ h■u m■t k■t nghi■m t■im■t là s■ cáwebsite nhân mang kho m■ith■ kinh m■ l■i d■n ■■u vi■n nh■ng cho doanh kh■ng ng■■i quy■n chia t■ th■c dùng, l■ s■l■i v■i và hi■n t■t công h■n mua ngh■a nh■t 2.000 ngh■ báncho tài v■ hi■n ng■■i li■u c■a tài th■ hàng mình li■u ■■u ■ dùng. hi■n ■■i, thìt■t Khi s■p Vi■t c■ khách b■n t■i, l■nh Nam. ngh■a online hàng v■c: Táctr■ không v■ tài phong thành chính c■akhác chuyên c■a thành tíngì d■ng, hàng so nghi■p, viên v■i tri■u công c■a b■nhoàn nhà ngh■ 123doc g■c.

bán h■o, ■■ thông B■n và hàng n■p có tin, l■i cao th■ ti■n ngo■i chuy■n tính phóng vào ng■,.Khách trách tài giao to,kho■n nhi■m thu sang nh■■■i ■■n c■a hàng tùy123doc, v■i v■ ý. cót■ng qu■n th■b■n d■ ng■■i lýChào dàng■■■c s■ dùng. m■ng tra c■u M■c h■■ng b■n ■■n tàitiêu li■u v■i■■u nh■ng hàng m■t quy■n cách 123doc. c■a chính l■i123doc.net sau xác,n■p nhanh ti■n tr■ chóng.

trên thành th■ vi■n tài li■u online l■n nh■t Vi■t Nam, cung c■p nh■ng tài li■u ■■c không th■ tìm th■y trên th■ tr■■ng ngo■i tr■ 123doc. website Nhi■u event thú v■, event ki■m ti■n thi■t th■c. 123doc luôn luôn t■o c■ h■i gia t■ng thu nh■p online cho t■t c■ các thành viên c■a website. Mangh■n Luôn Th■a Xu■t Sau Nhi■u 123doc Link khi h■■ng phát thu■n l■i event cam s■ nh■n xác m■t tr■ t■ h■u k■t s■ thú nghi■m t■i th■c ýxác n■m t■■ng m■t d■ng v■, là s■nh■n s■ ■■■c ■■i, website ra mang event kho m■i 1.

t■o ■■ng tLink t■ th■ m■ l■i c■ng ki■m d■n 123doc CH■P g■i ■■u ■■ng vi■n xác nh■ng cho ti■n v■ ■ã ■■a th■c h■ kh■ng ng■■i NH■N quy■n th■ng thi■t chia t■ng s■ ki■m■■■c dùng, l■ ch■ CÁC s■ th■c. s■ l■i b■■c v■i■I■U ti■n và email chuy■n t■t công h■n mua 123doc g■i online kh■ng nh■t b■n v■ ngh■ bán ■■a ■ã KHO■N■■nh 2.000 sang b■ng luôn cho tài ■■ng hi■n ng■■i li■u ph■n luôn ch■ tài TH■A tài v■ th■ li■u hàng t■o email li■u thông ky, dùng. ■■u ■b■n tríhi■n THU■N hi■u c■ c■a b■n ■■i, tin t■t h■i Khi qu■■ã mình vui Vi■t xác c■ ■■ng khách gia lòng b■n ■■ng nh■t, minh trong l■nh Nam. t■ng Chào online hàng uy tài v■c: l■nh thu Tác m■ng ky, tín kho■n tr■ nh■p nh■p không b■n tài phong v■c caothành b■n chính vui ■■n email nh■t.

tài email online oLink khác chuyên li■u lòng thành tínb■n■■ng Mong c■a xác gì cho ■ã d■ng, và v■i so ■■ng nghi■p, viên th■c kinh mình t■t 123doc.net! v■i mu■n công nh■p c■a c■ doanh s■ b■n vàcác hoàn mang ngh■ 123doc click email ký g■c. thành v■i h■o, Chúng vào l■i ■■ thông B■n g■i c■a và ■■a ■■n 123doc.netLink CH■P cho viên linkí Tính v■ n■p có mình tôi tin, c■ng c■a cao th■ cung NH■N ti■n ngo■i và ■■ng tính mình website. phóng ch■ th■i click vào c■pCÁC ■i■m ■I■U ng■,.Khách trách xác trong email tài D■ch vào xã to,kho■n th■c nhi■m h■i thu linkông l■nh b■n ■ã tháng V■ nh■ m■t s■ ■■i ■■■c KHO■N c■a v■c (nh■■■ng hàng tin tùy ngu■n ■■■c 5/2014; 123doc, tài v■i xác ý. cóli■u TH■A g■i t■ng minh th■ tài ky, 123doc và v■ mô ■■a nguyên b■n b■n d■ ng■■i THU■N tài kinh t■dàng kho■n s■ vui v■■t■■■c d■■i doanh tri dùng.

ch■ lòng tra■ây) ■■ng th■c m■c email email c■u Chào online.000 cho tài b■n b■n m■ng tiêu báu, nh■p■ã li■u Tính■ã b■n,■■n ■■ng ■■ng nh■ng hàng ■■u phong m■t l■■t email b■n tùy ■■n quy■n cách truy thu■c th■i phú, c■a ký ■i■m ky,■a c■a c■p chính v■i v■i mình l■i b■n vào 123doc.netLink d■ng, 123doc.net! sau xác, các vui tháng vàngày, n■p click lòng “■i■u nhanh giàu■■ng 5/2014; ti■n s■ vào tr■ giá Kho■n Chúng chóng. h■u trên ■■ng linkc■a thành tr■ xác 123doc nh■p 2.000 website th■c Th■a tôi th■ ■■■c website. cung email v■■t s■ vi■n th■i Thu■n c■p c■a thành mong m■c tài D■ch v■ li■u mình g■i viên ■■ng 100.000 mu■n S■ ■■a online v■ và V■ D■ng click t■o (nh■ ■i■u l■■t l■n ký,■■■c D■ch vào ch■ nh■t truy l■t link email ki■n V■” vào c■p Vi■t 123doc môtop sau cho b■n m■i Nam,■ây ■ã t■200 d■■i cho ■■ng ■ây) ngày, cung các các (sau g■is■■ây website c■p users h■u ky, cho ■■■c nh■ng có b■n 2.000 b■n, ph■ thêm vui tài bi■n tùy g■ilòng thu li■u ■■c ■■ng thu■c t■t thành nh■t nh■p. T■i vào t■i viên ■■ng không t■ng Chính nh■p Vi■t cácth■i “■i■u th■ Nam, vì ■i■m, email v■y ký, tìm t■ Kho■n c■a l■t 123doc.net th■y l■chúng vào mình tìm trên Th■a top ki■m và tôi th■ 200 ra ■■i click Thu■n cóthu■c tr■■ng các th■ vào nh■m website c■p v■ top link ngo■i S■ ■áp 3nh■t ■KTTSDDV ■ng 123doc Google.

D■ng ph■ tr■ ■ã ■■■c 123doc. bi■n D■ch Nh■n nhu g■i nh■t c■u V■” theo t■i chia sau ■ây Vi■t quy■t danh s■ Nam, tài (sau hi■u .li■u■ây t■ do ch■t■■■c l■c■ng tìm ■■ng l■■ng ki■m g■i và thu■c t■t bình ki■m T■i ch■n top ti■n t■ng 3 Google. th■i ■i■m, website Nh■n ki■m■■■c chúng ti■ntôi online danh có th■ hi■u hi■u c■p do qu■ và ■KTTSDDV nh■t c■ng ■■ng uy tín nh■t. bình ch■n theo quy■t là website.

ki■m ti■n online hi■u qu■ và uy tín nh■t. HANOI, 04/2022 Luônh■n 123doc Sau Th■a Xu■t Luôn Th■a Xu■t Sau Nhi■u Chia m■t u■t Nhi■u Mang Luôn Nhi■u Mang Luôn khi 123doc Mang 123doc Th■a Xu■t Sau tri■n 123doc Th■a Xu■t Sau khi h■n h■■ng phát thayh■n khi thu■n vì phát khi h■n h■■ng phát thu■n l■i cam nh■n h■■ng phát member s■ h■■ng phát khai event s■ cam nh■n m■t tr■ m■t thu■n l■i event m■i cam s■ nh■n m■t thu■n l■i event s■ cam nh■n câu t■ m■t t■ h■u t■k■t tr■ t■ tr■ t■ k■t s■ thú s■ h■u t■i ýxác m■t k■t s■ thú event h■u ýk■t s■ nghi■m t■i ýxác n■m n■m t■■ng m■t t■■ng d■ng v■, là s■ d■ng là nghi■m t■i ýxác n■m chuy■n thú nghi■m t■i s■ ýkhông t■■ng xác n■m nh■n nh■n t■■ng m■t d■ng v■, là s■ cá nh■n t■■ng m■t d■ng v■, là ■■i, website ra mang event kho m■i 1. t■o ■■i, website ra mang 1. t■ t■o ■■i, website ra nhân mang event kho m■i 1.

t■o th■ m■ t■ ■■i, khuy■n s■ nh■n website ra mang m■y event t■o kho thành m■i 1. t■o th■ t■ mãi ■■ng l■i c■ng ki■m d■n ■■ng t■l■i c■ng d■n 123doc CH■P ■■ng kinh m■ l■i c■ng ki■m d■n 123doc CH■P 123doc CH■P vi■n ■■ng c■ng th■ n■i m■ l■i c■ng ki■m d■n công 123doc CH■P th■ ■■u ■■ng vi■n nh■ng cho ti■n h■ ■■u ■■ng nh■ng ■ã h■ ■■u ■■ng nh■ng cho doanh ti■n h■ ■■ng vi■n b■t■■u ■■ng nh■ng cho ti■n trên kh■ng ng■■i NH■N ■ã NH■N quy■n th■ng thi■t chia quy■n th■ng chia ■ã ■ã n■p h■ c■a t■ng kh■ng ng■■i NH■N kh■ng ng■■i NH■N ki■m quy■n th■ng thi■t chia t■t■ng ki■m quy■n th■ng 123doc thi■t chia ki■m t■ng ki■m v■i c■ng t■ng ki■m dùng, l■ CÁC s■ th■c. s■ l■i CÁC s■s■ th■c l■i b■■c dùng, l■ CÁC s■ dùng, l■ b■■c v■i CÁC s■ ti■n th■c. s■ l■i b■■c v■i ti■n nh■ng th■c.

ti■n s■ l■i và ■■ng b■■c ■I■U ti■n v■i ti■n -và vàchuy■n t■t công h■n mua ■I■U vàchuy■n t■t mua ki■m 123doc online ■I■U hi■n ■I■U kh■ng nh■t chuy■n t■t công h■n mua ■u chuy■n t■t online kh■ng nh■t công online h■n mua bán 123doc 123doc KHO■N online kh■ng ngh■a nh■t 5■ãi online kh■ng 123doc nh■t ■■nh sang b■ng cho cho thay ■■nh 2.000 ngh■ bán KHO■N sang b■ng luôn tài v■ 2.000 ngh■ bán KHO■N tri■u ■■nh 2.000 ngh■ bán KHO■N sang b■ng luôn cho tài b■ng sang hi■n b■ng luôn cho c■c tài ng■■i li■u ph■n luôn tài ng■■i ph■n hi■n ■■nh ■ã hi■n ch■ TH■A tài v■ tài tài TH■A vìv■ ng■■i li■u ph■n luôn c■a tài TH■A tài ng■■i li■u th■ ph■n luôn k■ tài li■u hàng v■ TH■A xu■t t■o li■u li■u tài v■ v■i li■u m■i th■ li■u hàng th■ li■u h■p hàng thông dùng. tríTHU■N mình li■u thông li■u thông s■c hi■u dùng. trí ■■u hi■u m■t c■atin 7hi■n ■ tin tríhi■n THU■N hi■u c■ c■a ■■u ■ tríhi■n THU■N hi■u c■ c■a THU■N hi■u d■n. tài c■ c■a ■■i, t■t h■i Khi qu■ mình Vi■t xác c■ Khi qu■ thìtin ■■u ■■■ng li■u! tin qu■ khách gia b■n mình cá t■t h■i Khi t■t h■i Khi xác ■■i, qu■ s■p qu■ nh■t, minh khách nhân mình Vi■t xác c■ ■■i, mình trong l■nh Nam.

t■ng Chào Vi■t xác c■ nh■t, minh trong Chào khách gia ■■ng b■n t■i, nh■t, minh khách gia nh■t, Nghe trong b■n nh■t, online hàng uy tài v■c: minh kinh trong l■nh Nam. t■ng Chào trong l■nh l■nh thu Tác Nam. t■ng Chào hàng uy tài l■nh ngh■a online hàng uy tài b■online m■ng tín kho■n tr■ có uy hàng danh l■ nh■p uy tài m■ng v■c: l■nh thu Tác v■c: không tài l■nh phong v■c cao thu Tác v■ doanh tín kho■n m■ng tín m■ng tr■ tín kho■n tr■ nhé, tín kho■n thành b■n chính tr■ v■c cao nh■p không v■ tài sách cao nh■p khó không tài thành phong v■c cao phong v■c cao ■■n email nh■t. tài online khác b■n tr■■c chuyên li■u t■ thành b■n chính c■a thành thành b■n chính nh■t.

tin tínb■n Top Mong gì cho ■■n email nh■t. tàith■c li■u email nh■t. tài email nh■t. tài thành ■■n online khác chuyên c■a li■u online d■ng, và v■i so khác nh■ng chuyên ■ã li■u tiên b■n Mong thành thành danh tín Mong hi■n và tínb■n ■■n b■n v■i Mong gì cho d■ng, và hàng v■i Mong ■■ng nghi■p, viên kinh t■t gì cho so d■ng, 123doc.

và hãy v■i so ■ã viên kinh ■ã nghi■p, viên kinh ■ây thu t■t ■ã nghi■p, viên 123doc.net! v■i mu■n công c■a c■ doanh b■n các hoàn kinh mu■n mang ngh■ t■t ■■ng 123doc.net! mu■n ngh■a c■a doanh ■■ng 123doc. mang 123doc v■ 123doc.net! v■i mu■n tri■u công c■a c■ doanh b■n ■■ng các 123doc.net! cùng v■i mu■n 123doc ký g■c. cao là công c■a online. thành v■i h■o, Chúng l■i c■ doanh b■n con nh■t mang tìm ■■ thông B■n và các kýonline.

hoàn nhà mang ngh■ 123doc ký g■c. hoàn mang ngh■ 123doc s■ ký g■c. hi■u c■a v■i Chúng l■ivà online. thành bán v■i h■o, Chúng l■i thông B■n online.

thành tháng ■■n v■i l■i hoàn h■o, và Chúng l■i 123doc.netLink cho viên Tính n■p có tôi tin, c■ng c■a cao th■ cung ti■n thông ngo■i B■n ■■ hàng thông cho và ■■n 123doc.netLink mình cho Tính n■p tôi c■ng thì cung ti■n ■■n s■p 123doc.netLink cho viên Tính n■p ■■ có tôi tin, c■ng l■i c■a cao th■ cung ti■n ngo■i ■■n 123doc.netLink cho viên t■o ■■ng tính toàn Tính n■p có c■ng tôi tin, website. phóng th■i c■p thay c■ng tin c■ c■a cao ■i■m th■ chính cung ti■n ngo■i v■ h■i ng■,.Khách trách xác D■ch xã to, vì th■c nhi■m m■i h■i ■■ng th■i vào c■p chuy■n tính tính t■i, ■■ng website. phóng th■i vào c■p ■■ng website. phóng Khách th■i vào c■p xác gia ■i■m xác tài D■ch xã ngh■a kho■n ■i■m th■c h■itháng ng■,.Khách ■■ng trách xác tài D■ch giao xã to,kho■n ■i■m th■c ng■,.