Báo cáo của Messari: Tìm hiểu toàn diện về các cải tiến công nghệ, phát triển hệ sinh thái và hoạt động mạng lưới của Aptos
Tuyển chọn TechFlowTuyển chọn TechFlow
Báo cáo của Messari: Tìm hiểu toàn diện về các cải tiến công nghệ, phát triển hệ sinh thái và hoạt động mạng lưới của Aptos
Aptos đã sẵn sàng bùng nổ.
Chuyên sâu báo cáo Web3Tác giả: Peter Horton, Messari
Biên dịch: Aptos Global
TÓM TẮT
1) Aptos là một blockchain lớp 1 được thiết kế dựa trên các nguyên tắc cốt lõi về khả năng mở rộng, bảo mật, độ tin cậy và khả năng nâng cấp. Nó bắt nguồn từ các dự án Diem và Novi của Meta, ra mắt vào tháng 10 năm 2022.
2) Kiến trúc công nghệ của Aptos có nhiều điểm mới mẻ, bao gồm cơ chế đồng thuận AptosBFTv4, giao thức mempool Quorum Store, động cơ thực thi song song Block-STM và ngôn ngữ lập trình Aptos Move.
3) Kể từ tháng 7 năm 2023, Aptos trung bình xử lý hơn 475.000 giao dịch mỗi ngày, với hơn 72.000 địa chỉ hoạt động hàng ngày. Các sự kiện sáng tạo nghệ thuật công cộng trong 24 giờ trên nền tảng mạng xã hội Chingari, oracle Pyth và Graffio đã thúc đẩy hoạt động giao dịch trên chuỗi.
4) Aptos Labs và Quỹ Aptos đã thiết lập quan hệ đối tác với nhiều công ty và tập đoàn nổi bật như Microsoft, Alibaba Cloud, NPIXEL, Rakuten Group, Coinbase Pay... Nhiều chương trình tăng trưởng tập trung vào khu vực châu Á - Thái Bình Dương.
Cuộc tranh luận giữa mô-đun hóa và tích hợp đã được thảo luận rộng rãi; nói chung, cả hai hướng đi đều tiến gần đến kết quả tương tự: chuỗi mô-đun tối ưu cho tính xác minh và phi tập trung, trong khi chuỗi tích hợp tối ưu cho độ trễ thấp và thông lượng cao.
Aptos là một trong những người chơi lớn nhất trong nhóm tích hợp. Đội phát triển Aptos Labs đã huy động được khoảng 400 triệu USD vốn đầu tư. Kể từ khi ra mắt vào tháng 10 năm 2022, mạng lưới đã nhanh chóng nâng cấp, xuất bản hơn 40 AIP và 8 phiên bản chính. Hệ sinh thái của Aptos còn trẻ nhưng đã sở hữu các dự án như sổ lệnh on-chain, DEX perp và nền tảng mạng xã hội. Trong môi trường thử nghiệm gần giống mainnet gần đây, Aptos đạt đỉnh 30.000 TPS và xử lý hơn 2 tỷ giao dịch trong một ngày. Nếu tiếp tục cải tiến kỹ thuật, thu hút nhà phát triển và người dùng, Aptos đang sẵn sàng bứt phá.
Bối cảnh
Aptos bắt nguồn từ các dự án Diem và Novi của Meta. Năm 2019, Meta (lúc đó gọi là Facebook) chính thức công bố mạng thanh toán dựa trên blockchain sắp tới, bao gồm blockchain Diem (ban đầu gọi là Libra) có giấy phép và ví Novi (trước gọi là Calibra). Dự án do liên minh độc lập Diem Association và công ty con Novi Financial của Facebook dẫn dắt, nhưng chưa bao giờ ra mắt do gặp phải sự phản đối từ giới quản lý. Tháng 1 năm 2022, Diem bị đóng cửa và bán tài sản cho Silvergate Capital; tháng 9 năm 2022, Meta tuyên bố kết thúc Novi.
Aptos Labs được thành lập vào tháng 12 năm 2021 và chính thức ra mắt vào tháng 2 năm 2022. Công ty do Mo Shaikh – cựu Giám đốc chiến lược đối tác tại Novi – và Avery Ching – kỹ sư phần mềm từng làm việc tại Novi với chuyên môn siêu máy tính – đồng sáng lập. Đội ngũ sáng lập còn lại gồm các tiến sĩ, nhà nghiên cứu, kỹ sư, nhà thiết kế và chiến lược gia, nhiều người trước đó cũng từng làm việc tại Diem hoặc Novi.
Tháng 3 năm 2022, Aptos Labs thông báo huy động 200 triệu USD và ra mắt mạng phát triển công khai cùng kho mã nguồn mở. Vòng gọi vốn này bao gồm cổ phần và quyền chọn token, do a16z dẫn dắt, với sự tham gia của Multicoin Capital, ParaFi Capital, Coinbase Ventures và nhiều nhà đầu tư khác. Tháng 7 năm 2022, Aptos Labs công bố thêm 150 triệu USD vốn đầu tư, định giá khoảng 2 tỷ USD, do FTX Ventures và Jump Crypto dẫn dắt. FTX Ventures cũng tham gia vòng gọi vốn đầu tiên; hiện khoản đầu tư này nằm dưới sự kiểm soát của quy trình phá sản FTX. Các khoản đầu tư chiến lược khác từ Binance Labs và Dragonfly Capital giúp tổng số vốn huy động đạt khoảng 400 triệu USD.
Sau khi Aptos Labs phát hành sách trắng vào tháng 8 năm 2022, mạng chính thức được khởi chạy vào tháng 10 năm 2022. Kể từ đó, mạng Aptos đã hoàn thành nhiều lần nâng cấp, hiện ở phiên bản V1.8.0, với Quỹ Aptos dẫn dắt công cuộc phát triển hệ sinh thái.
Công nghệ
Kiến trúc công nghệ của Aptos được thiết kế xoay quanh các nguyên tắc cốt lõi về khả năng mở rộng, bảo mật, độ tin cậy và khả năng nâng cấp, mang lại nhiều cơ chế mới mẻ cho nhiều khía cạnh của hệ thống.
Đồng thuận
Aptos là một blockchain lớp 1 sử dụng bằng chứng ủy quyền cổ phần (DPoS) với giao thức đồng thuận AptosBFTv4.
Aptos BFT
AptosBFT (ban đầu gọi là DiemBFT) trải qua bốn lần cập nhật trong thời gian phát triển Diem trước khi được áp dụng cho blockchain Aptos. Phiên bản đầu tiên của AptosBFT dựa trên HotStuff, bản thân HotStuff lại dựa trên giao thức BFT truyền thống (pBFT). Hiện tại, phiên bản AptosBFTv4 dựa trên Jolteon, cải thiện độ trễ của HotStuff 50% nhờ cơ chế chuyển đổi view theo kiểu pBFT bậc hai.
Ngoài ra, để giảm độ trễ do người đề xuất khối lỗi gây ra, AptosBFT lựa chọn người đề xuất không chỉ dựa trên số lượng stake mà còn dựa trên hiệu suất (tổng hợp gọi là "danh tiếng"). Hiệu suất của trình xác thực được đo bằng tần suất thành công khi làm người đề xuất (gửi đề xuất) và khi không phải người đề xuất (bỏ phiếu cho đề xuất).
Việc triển khai Quorum Store trong bản nâng cấp Aptos V1.5 hoàn tất vào ngày 18 tháng 7 năm 2023 đã giúp tăng thông lượng của Aptos. Quorum Store là triển khai của giao thức mempool Narwhal. Quorum Store cải thiện quá trình đồng thuận bằng cách tách riêng việc lan truyền dữ liệu khỏi đồng thuận. Việc tách rời này là phát hiện then chốt từ bài nghiên cứu Narwhal và Tusk do các nhà nghiên cứu của Aptos Labs và Mysten Labs cùng viết.
Trước Quorum Store, quy trình xử lý giao dịch gồm hai giai đoạn: mempool và đồng thuận:
1) Giai đoạn mempool: Tất cả giao dịch được phát tán đến mọi trình xác thực.
2) Giai đoạn đồng thuận: Người đề xuất phát tán tất cả giao dịch trong khối do mình tạo đến mọi trình xác thực; các trình xác thực không phải người đề xuất bỏ phiếu bằng cách gửi dữ liệu gốc ký tên của khối.
Dẫn đến hai điểm nghẽn:
1) Phát tán giao dịch trùng lặp: Mọi giao dịch được truyền đến tất cả các nút xác thực hai lần, trong cả giai đoạn mempool và đồng thuận.
2) Phân bổ công việc không đều: Trong giai đoạn đồng thuận, người đề xuất làm việc nhiều hơn vì phải gửi toàn bộ giao dịch gốc kèm dữ liệu gốc ký tên (tin nhắn nhỏ hơn nhiều). Do đó, băng thông tổng thể bị giới hạn bởi băng thông của người đề xuất, trong khi băng thông của các nút khác không được tận dụng đầy đủ.
Quorum Store thêm một giai đoạn trung gian giữa mempool và giao thức đồng thuận. Giờ đây quy trình đầy đủ là:
Giai đoạn Mempool: Giao dịch không còn được phát trực tiếp đến các trình xác thực, mà được gửi đến Quorum Store;
Giai đoạn Quorum Store: Giao thức Quorum Store nhận giao dịch từ mempool, xếp hàng loạt chúng theo phí Gas, sau đó phát tán các gói này đến các trình xác thực. Sau khi nhận gói, các trình xác thực ký vào gói và gửi cho nhau. Khi gói nhận được chữ ký từ hơn ⅔ số trình xác thực, Quorum Store sẽ tạo bằng chứng khả dụng (PoAv), đảm bảo tính duy nhất và khả dụng của gói.
Giai đoạn Đồng thuận: Giao thức đồng thuận vẫn như cũ, ngoại trừ việc người đề xuất giờ đây sử dụng các gói đã được xác thực từ Quorum Store thay vì giao dịch gốc từ mempool để tạo khối.
Cách này giải quyết cả hai điểm nghẽn trên:
Phát tán giao dịch trùng lặp: Giao dịch gốc chỉ được truyền một lần (từ mempool đến Quorum Store), sau đó chỉ truyền các gói, giảm đáng kể lượng dữ liệu trong tin nhắn.
Phân bổ công việc không đều: Trong giai đoạn đồng thuận, người đề xuất chỉ cần gửi dữ liệu gốc của gói (và PoAv tương ứng), khối lượng công việc ít hơn rất nhiều so với trước, ngang bằng hơn với các trình xác thực khác. Ngoài ra, tất cả các nút đều làm việc như nhau trong giai đoạn Quorum Store.
Trong các thử nghiệm, Quorum Store tăng giới hạn TPS lên 12 lần so với chỉ dùng đồng thuận, và tăng giới hạn TPS lên 3 lần trong thử nghiệm end-to-end. Tuy nhiên, các giao thức đồng thuận dựa trên người đề xuất như AptosBFT không thể tận dụng tối đa lợi thế của Quorum Store, vì vậy Aptos Labs đang tìm cách nâng cấp lên giao thức đồng thuận dựa trên DAG. Chi tiết thêm xem phần lộ trình.
DPoS
Các trình xác thực được thưởng từ phần thưởng stake do lạm phát tạo ra. Hiện tại, mọi phí giao dịch đều bị đốt cháy. Phần thưởng stake được tính theo danh tiếng (số stake và hiệu suất) của trình xác thực, được phân phối và tái đầu tư tự động mỗi kỳ (2 giờ). Token stake bị khóa trong chu kỳ toàn cầu 30 ngày.
Mỗi trình xác thực đặt một tỷ lệ hoa hồng và phần trăm còn lại được chuyển cho các bên ủy quyền. Cơ chế ủy quyền stake trong giao thức được triển khai trên mainnet vào ngày 20 tháng 4 năm 2023. Người ủy quyền cần ít nhất 11 APT để tham gia, giúp nhiều người trong cộng đồng có thể tham gia stake, vì mức stake tối thiểu để trở thành trình xác thực là 1 triệu APT (tương đương 10,5 triệu USD vào ngày 26 tháng 12 năm 2023).
Giới hạn stake tối đa cho mỗi trình xác thực là 50 triệu APT, chiếm khoảng 5% tổng cung. Đây không phải là giới hạn nghiêm ngặt. Tuy nhiên, nếu một nhà điều hành trình xác thực có đủ cổ phần, họ sẽ có động lực khởi chạy nhiều nút xác thực. Lưu ý rằng token bị khóa có thể được stake để nhận phần thưởng thanh khoản (sau chu kỳ mở khóa 30 ngày toàn cầu).
Hiện tại chưa có cơ chế trừng phạt đối với trình xác thực ngoại tuyến hoặc độc hại, nhưng có thể được thêm vào trong tương lai thông qua quản trị.
Thực thi
Sau khi các trình xác thực đạt đồng thuận về thứ tự khối, họ cần thực thi các giao dịch trong khối và lưu kết quả vào bộ nhớ. Nhiều blockchain có động cơ xử lý tuần tự, nơi các giao dịch được thực thi lần lượt. Để tăng tốc độ thực thi, Aptos sử dụng động cơ thực thi song song. Hơn nữa, điểm khác biệt của Aptos so với các mạng khác như Solana hay Sui có khả năng xử lý song song là nó không yêu cầu người dùng khai báo trước kiến thức về phụ thuộc.
Để đạt được điều này, Aptos sử dụng Block-STM, xây dựng dựa trên nguyên lý bộ nhớ giao dịch phần mềm (STM) và kiểm soát đồng thời lạc quan (OCC). Thư viện STM với OCC tuân theo khuôn khổ chung: giao dịch được thực thi một cách lạc quan (giả định không có phụ thuộc), sau đó được xác minh; nếu phát hiện phụ thuộc thì hủy bỏ và cuối cùng thực thi lại. Tuy nhiên, do quản lý phụ thuộc và việc hủy bỏ dây chuyền khiến hiệu suất bị hạn chế, phương pháp này hiếm khi được dùng trong thực tế.
Để phù hợp với triển khai và khắc phục những hạn chế của hệ thống STM OCC, Block-STM tận dụng thứ tự giao dịch được đặt trước để ước lượng phụ thuộc, từ đó giảm số lần hủy bỏ. Một trong những phát hiện chính của bài nghiên cứu Bohm (2014) là nhận thấy thứ tự giao dịch được đặt trước có thể là điều tốt chứ không phải tai họa. Block-STM tận dụng thứ tự đặt trước này nhiều hơn Bohm, cải thiện việc ước lượng phụ thuộc trong mỗi lần hủy bỏ (do đó giảm cơ hội hủy bỏ thêm).
Block-STM cũng cải tiến STM tổng quát bằng cách tận dụng các yếu tố đặc thù của blockchain, bao gồm:
1) Bảo mật VM: Move VM (sẽ trình bày chi tiết ở phần Move bên dưới) đảm bảo trạng thái chưa được cam kết không ảnh hưởng tiêu cực đến các giao dịch đang diễn ra khác bằng cách bắt lỗi và thu phí Gas;
2) Độ chi tiết theo khối: Việc dọn rác (garbage collection) rất đơn giản vì có thể diễn ra giữa các khối. Ban đầu Block-STM chỉ theo dõi việc cam kết theo khối nhằm giảm chi phí đồng bộ, nhưng sau đó Aptos Labs đã cải tiến thuật toán, hiện hỗ trợ cam kết luân phiên bên trong khối mà không ảnh hưởng hiệu suất.
Trước khi tìm hiểu từng bước cụ thể của Block-STM, hãy định nghĩa một thuật ngữ đã được nhắc đến: Phụ thuộc. Giao dịch blockchain bao gồm mã hợp đồng thông minh đọc và ghi vào bộ nhớ chung. Khi thực thi, mỗi giao dịch có một danh sách các vị trí đọc và ghi này, gọi là tập đọc và tập ghi. Nếu giao dịch của Mo đọc từ vị trí trong bộ nhớ chung mà giao dịch của Avery đã ghi trước đó, thì giao dịch của Mo phụ thuộc vào giao dịch của Avery. Các giao dịch có phụ thuộc phải được thực thi tuần tự, trong trường hợp này Avery thực thi trước, rồi đến Mo.
Với điều này, ta có thể đi sâu vào quy trình từng bước của Block-STM, chia thành năm giai đoạn chính:
1. Xếp thứ tự giao dịch ban đầu
Từ giai đoạn đồng thuận trước đó, có một khối chứa các giao dịch được sắp theo thứ tự. Như đã nêu, thứ tự này là lợi thế chính của Block-STM. Kết quả thực thi song song phải tạo ra cùng tập đọc và tập ghi như thực thi tuần tự.
2. Thực thi lạc quan
Block-STM thực thi song song một cách lạc quan. Nói cách khác, nó thực thi các giao dịch với giả định không có phụ thuộc nào.
3. Xác minh
Sau đó, các giao dịch đã thực thi được xác minh, tức là kiểm tra các phụ thuộc. Việc này được thực hiện bằng cách đọc lại tập đọc của giao dịch và so sánh với tập đọc mới nhất đã thực thi. Nếu hai tập đọc không bằng nhau, giao dịch sẽ bị hủy bỏ.
Một phần quan trọng của Block-STM là lên lịch liên tục các nhiệm vụ thực thi và xác minh một cách hiệu quả, cụ thể là:
Ưu tiên xử lý các nhiệm vụ sớm hơn theo thứ tự ban đầu.
Gửi một loạt xác minh để phát hiện sớm các phụ thuộc bị thiếu, tránh việc hủy bỏ dây chuyền.
Lưu ý rằng xác minh rẻ hơn thực thi rất nhiều, nên việc xác minh liên tục (đọc lại tập đọc) không phải là điểm nghẽn chính.
4. Hủy bỏ và thực thi lại
Khi một giao dịch bị hủy bỏ, nhãn ESTIMATE được gắn vào vị trí mà giao dịch đó ghi. Sau đó, nếu một giao dịch phía sau đọc vị trí này, nó sẽ thấy nhãn ESTIMATE. Sau khi đọc nhãn ESTIMATE, giao dịch sẽ tạm dừng thực thi cho đến khi một giá trị ghi đè lên nhãn ESTIMATE. Điều này xảy ra khi giao dịch ban đầu (bị hủy) thực thi lại thành công. Mỗi lần thực thi lại giao dịch, lịch trình đảm bảo mọi giao dịch nào ở vị trí cao hơn trong thứ tự ban đầu và phụ thuộc vào nó đều phải được xác minh lại.
Việc quản lý phụ thuộc động này là một khái niệm then chốt của Block-STM. Nếu không có nhãn ESTIMATE, giao dịch thứ hai sẽ được thực thi, sau đó có thể bị hủy vì đọc từ vị trí mà giao dịch đã hủy ghi vào. Do đó, Block-STM tránh được lượng lớn công việc lãng phí khi thực thi các giao dịch có thể bị hủy. Ngoài ra, quản lý phụ thuộc động còn cải thiện so với hệ thống phụ thuộc trước. Thứ nhất, người dùng không cần khai báo phụ thuộc, hỗ trợ tính nguyên tử cho giao dịch phức tạp tùy ý (không cần chia nhỏ giao dịch). Thứ hai, nó chỉ quản lý phụ thuộc khi cần, thay vì lưu trữ phụ thuộc cho mọi giao dịch. Cuối cùng, hầu hết các phụ thuộc đều dựa trên trạng thái được cập nhật từ trạng thái đầu khối.
5. Cam kết
Khi Block-STM phát hiện đầu ra của việc thực thi lạc quan là đúng, nó sẽ cam kết thông qua cơ chế cam kết luân phiên. Cam kết luân phiên dựa vào đồng bộ nhẹ để xác minh và cam kết từng gói giao dịch trước khi xử lý gói tiếp theo.
Trong thử nghiệm, Block-STM đạt tới 170.000 TPS với 32 luồng trong bộ kiểm chuẩn của Aptos. Điều này nhanh hơn 17 lần so với thực thi tuần tự.
6. Lưu trữ
Khi một khối được cam kết, dữ liệu của nó được lưu trữ vĩnh viễn ở tầng lưu trữ. Mặc dù việc cam kết được thực hiện theo khối, nhưng mỗi giao dịch riêng lẻ được lưu riêng vào cây Merkle sau khi thực thi. Mọi thứ xảy ra trên blockchain (bao gồm giao dịch, thay đổi trạng thái) đều có thể được chứng minh mã hóa dựa trên một bản tóm tắt gọi là "root hash", được xác thực bằng chữ ký của các nút xác thực hiện tại. Cách tiếp cận này khác với các blockchain khác, vốn cần theo dõi toàn bộ chuỗi để xác minh giao dịch quá khứ, cho phép truy cập dữ liệu có thể chứng minh ở mức độ chi tiết hơn.
Để xử lý lượng dữ liệu lớn, Aptos sử dụng hai loại cây Merkle: Jellyfish Merkle Tree để lưu trữ dữ liệu trên đĩa và cây Merkle thưa trong bộ nhớ để cập nhật nhanh. Những cây này được tối ưu để lưu trữ dữ liệu hiệu quả và cho phép cập nhật đồng thời. Aptos Labs đang tìm kiếm nhiều hướng mở rộng lưu trữ hơn nữa, đặc biệt là phân mảnh lưu trữ được trình bày chi tiết trong phần lộ trình.
7. Move
Move là một ngôn ngữ bytecode lấy cảm hứng từ Rust, được tạo ra bởi đội ngũ Diem và Novi. Move cung cấp sự linh hoạt và bảo mật vượt trội so với Solidity và các ngôn ngữ lập trình Web3 khác.
Move gồm hai loại chương trình: script giao dịch và module. Script giao dịch là nguyên tử và chỉ dùng một lần, trong khi module được công bố trong trạng thái toàn cục và tồn tại vô thời hạn.
Module tương tự như hợp đồng thông minh trong các ngôn ngữ lập trình khác, định nghĩa các tài nguyên và các quy trình liên quan. Tài nguyên giống như một đối tượng, quy trình là các thao tác có thể thực hiện trên nó, như tạo, sửa đổi hoặc xóa. Tài nguyên được thiết kế đặc biệt để đại diện cho các tài sản khan hiếm như token, chúng có các chức năng bảo vệ tích hợp giúp tránh việc sao chép hoặc mất mát sai.
Module thực thi tính trừu tượng dữ liệu, trong đó kiểu dữ liệu minh bạch bên trong module khai báo, nhưng mờ đục bên ngoài. Nói cách khác, chỉ module gốc mới có thể tạo, hủy hoặc cập nhật giá trị. Truy cập bên ngoài vào dữ liệu module bị giới hạn ở các quy trình công khai mà module đó cung cấp. Các đảm bảo này được thực thi bởi bộ xác minh bytecode của Move khi thực thi, mọi module và script giao dịch đều phải vượt qua bộ xác minh này mới được thực thi bởi Move VM. Tính trừu tượng dữ liệu này trong Move rõ ràng hơn so với Solidity/EVM, vốn có tính đóng gói nhưng thực thi kém nghiêm ngặt hơn.
Move được thiết kế để loại bỏ các vector tấn công tồn tại trong Solidity và EVM, đặc biệt là những vector do thiếu tài sản đẳng cấp một (first-class asset) ngoài ETH và các cuộc tấn công đệ quy (reentrancy).
Tài sản đẳng cấp một: Trên EVM, ERC-20 và các tài sản khác không có các thuộc tính khan hiếm và kiểm soát truy cập nội tại như Ether. Các nhà phát triển Solidity cần tự tay triển khai các biện pháp bảo vệ này để tránh các lỗi gây nhân đôi, tái sử dụng hoặc mất tài sản. Ngược lại, mọi tài nguyên trên Move (không chỉ tài sản gốc) đều được coi là tài sản đẳng cấp một với các bảo vệ này.
Tấn công đệ quy: Khác với EVM, Move không có việc lập lịch động không an toàn, nơi máy ảo không biết trước các hàm hợp đồng bên ngoài đang thực hiện thao tác gì trước khi hợp đồng chạy. Việc lập lịch động này gây ra các cuộc tấn công đệ quy, một trong những nguyên nhân phổ biến nhất của các vụ hack blockchain, bao gồm cả lỗ hổng gần đây của Curve/Vyper. Trong tấn công đệ quy, hợp đồng gọi một hợp đồng bên ngoài, hợp đồng bên ngoài này lại gọi lại hợp đồng ban đầu trước khi hợp đồng gốc hoàn tất thực thi và cập nhật số dư, có thể dẫn đến việc rút tiền lặp lại.
Mục đích của Move là khiến nhà phát triển khó mắc lỗi hơn.
Ngoài bộ xác minh bytecode, nhà phát triển còn có thể sử dụng công cụ xác minh chính thức Move Prover. Tất nhiên, Move không thể loại bỏ hoàn toàn khả năng tồn tại lỗi trong hợp đồng thông minh. Lập trình viên vẫn cần thiết lập các bất biến bảo mật thích hợp bên trong module của họ. Hơn nữa, bộ xác minh bytecode và Move Prover không thể thay thế nhu cầu kiểm toán. Công ty kiểm toán CertiK nhận thấy một số nhà phát triển không sử dụng các cơ chế bảo vệ tích hợp của Move, hoặc áp dụng các mẫu lập trình có thể được chuyển từ thiết kế mã lỗi thời trái ngược với triết lý thiết kế của Move.
8. Các đặc điểm chính khác
Bảo vệ người dùng
Aptos bao gồm nhiều tính năng cải thiện trải nghiệm người dùng và bảo mật, như quản lý khóa linh hoạt, minh bạch kết quả giao dịch và hỗ trợ client nhẹ.
Tài khoản Aptos tách riêng khóa riêng và khóa công, cho phép quản lý khóa linh hoạt. Người dùng có thể luân chuyển khóa riêng của tài khoản để ngăn chặn hoặc phản ứng với rủi ro bị xâm phạm, mà không cần chuyển mọi tài sản sang tài khoản mới. Người dùng cũng có thể thiết lập tài khoản đa chữ ký, với mỗi khóa công có quyền hạn khác nhau. Ví dụ, người dùng có thể tạo tài khoản có hai khóa công nóng có thể ký giao dịch, và một khóa công lạnh có thể ký giao dịch và luân chuyển khóa riêng. Sau đó, người dùng có thể quy định cần 2/3 khóa tài khoản để ký giao dịch.
Để giúp chống tấn công phishing và tăng tính minh bạch nói chung, ví có thể sử dụng tiền thực thi giao dịch để giải thích kết quả giao dịch dưới dạng dễ đọc trước khi người dùng ký.
Aptos cũng thêm các biện pháp bảo vệ giao dịch bằng cách thêm thời gian hết hạn và số sê-ri cho giao dịch. Số sê-ri hoạt động tương tự nonce trên EVM, giúp ngăn chặn các cuộc tấn công replay.
Client nhẹ cho phép người dùng dễ dàng xác minh trạng thái blockchain chỉ bằng cách tải tiêu đề khối, giảm thiểu các giả định tin cậy khi truy cập dữ liệu blockchain. Điều này đặc biệt quan trọng với các blockchain hiệu suất cao như Aptos có yêu cầu phần cứng nút cao hơn.
Khả năng nâng cấp
Nguồn: Messari
Aptos được định nghĩa là hỗ trợ các nâng cấp giao thức thường xuyên. Điều này phần lớn là do việc quản lý trình xác thực diễn ra trên chuỗi, cho phép các trình xác thực đồng bộ dễ dàng với các bản nâng cấp mới. Một phần của Aptos cũng được viết bằng Move, như đã nêu, giúp rút ngắn thời
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Messari
