Tezos Blockchain: Phân tích chuyên sâu từ quan điểm kiểm toán 

Thơi gian đọc: 5 phút

Dự án blockchain của Tezos đã có một khởi đầu tuyệt vời bằng cách huy động 232 triệu đô la với Cung cấp tiền xu ban đầu, giành được vị trí thứ hai trong việc nhận được số tiền lớn nhất trong số 20 ICO lớn nhất.

Trong số các mạng blockchain phổ biến nhất, chẳng hạn như Ethereum hoặc Bitcoin, làm cách nào mà Tezos có thể đạt được tất cả sự cường điệu? Để tìm ra câu trả lời, chúng ta hãy xem xét kỹ hơn các thuộc tính đặc biệt của Tezos đã thu hút rất nhiều người ủng hộ. 

Trong khi blockchain nổi lên trong thời gian của nó hoạt động dựa trên sự đồng thuận Proof-of-Work (PoW), thì blockchain Tezos đã sáng tạo trong việc sử dụng Bằng chứng cổ phần(PoS) dựa trên sự đồng thuận với cơ chế tự sửa đổi và quản trị theo chuỗi. 

Kết quả là, Tezos đã được chú ý như một giải pháp thay thế hoàn hảo để xây dựng các ứng dụng DeFi thân thiện với môi trường đòi hỏi ít năng lượng hơn đáng kể và chi phí thấp. Vì vậy, cơ sở hạ tầng Tezos tương đương với sự linh hoạt trong việc nâng cấp dễ dàng hơn nhiều như thế nào?

Điều đó giúp chúng tôi tìm hiểu về cách thiết lập kiến ​​trúc, điều này làm tăng thêm giá trị cho Tezos.

Hợp đồng thông minh trên Tezos

Hợp đồng thông minh là các hợp đồng có thể thực thi được lập trình để xử lý việc trao đổi mã thông báo giữa hai bên mà không yêu cầu một trong hai bên phải tin tưởng bên kia. 

Khi nói đến Tezos, nó được viết duy nhất bằng ngôn ngữ lập trình Michelson. Hơn nữa, Tezos sử dụng xác minh chính thức để đảm bảo tính chính xác của mã, giúp mã an toàn và đáng tin cậy hơn. 

Liệt kê các chi tiết cụ thể của chuỗi khối Tezos

Sản phẩm điểm nổi bật của Tezos được đưa ra ở đây để hiểu rõ hơn về cấu hình và tính độc đáo của nó. 

Tự sửa đổi

Tezos, xác nhận các khối hoạt động trên thuật toán đồng thuận, được tích hợp sẵn với cơ chế tự sửa đổi. Bất kỳ sửa đổi nào đối với giao thức, chẳng hạn như chuyển sang một sự đồng thuận khác, sửa đổi hệ thống phần thưởng, thêm giao dịch, v.v., đều được thực hiện dựa trên hệ thống bỏ phiếu trên chuỗi. 

Bất kỳ thay đổi nhỏ đến lớn nào trong giao thức kinh tế Tezos đều được kích hoạt bởi thủ tục bỏ phiếu trực tuyến. Giao thức tự sửa đổi này có ưu thế hơn trong việc tránh bị phân tách hoặc chia rẽ trong cộng đồng.

Quản trị trên chuỗi

Tezos trái ngược với Bitcoin và Ethereum, vốn tuân theo các hệ thống quản trị không chính thức dẫn đến sự phân tách blockchain (Bitcoin Cash và Ethereum cổ điển). 

Quản trị trên chuỗi ở Tezos tạo điều kiện cho “Bakers”, hay còn gọi là Thợ mỏ, đề xuất và bỏ phiếu về việc nâng cấp giao thức. Phương pháp trên chuỗi trong Tezos được thiết kế để tự động triển khai các nâng cấp trong mã của giao thức cơ bản mà không cần thông qua giám đốc tập trung. 

Đồng thuận bằng chứng cổ phần: PoS 

Sự đồng thuận PoS ở Tezos cho phép bất kỳ ai cũng có thể tham gia. Để trở thành một thợ làm bánh Tezos xác nhận khối và cho phép xây dựng sự đồng thuận, thợ làm bánh phải sở hữu tối thiểu các mã thông báo XTZ (gốc). 

Nó cũng áp dụng một phương pháp mà nếu người dùng không có đủ tiền để nướng bánh, họ có thể ủy thác mã thông báo XTZ cho một thợ làm bánh có tài khoản ngân hàng Tez lớn. Đổi lại, phần thưởng mà thợ làm bánh kiếm được sẽ được phân phối lại cho những người được ủy quyền. 

Khai thác các cơ sở được tìm thấy trong các hợp đồng thông minh của Tezos

Một trong những báo cáo kiểm toán đã tiết lộ lỗi trong kiến ​​trúc truyền thông điệp của hợp đồng thông minh Tezos. Chúng tôi sẽ giải mã chúng ở đây ngay bây giờ. 

Kiến trúc truyền thông điệp

Thay vào đó, một hợp đồng bên ngoài được cho là được gọi trong quá trình thực thi chức năng được xếp vào hàng đợi trong danh sách các lệnh gọi sẽ được thực hiện trong hợp đồng Tezos. 

Thứ tự được tìm thấy trong hợp đồng Tezos là, 

• Thực thi a () # Cuộc gọi tiếp theo: [b, d]
• Thực thi b () # Cuộc gọi tiếp theo: [d, c]
• Thực thi d () # Cuộc gọi tiếp theo: [c]
• Thực thi c () # Cuộc gọi tiếp theo: []

Trong đó bạn có thể thấy mã d () được thực thi trước mã c ().

Kiểu thực thi này có khả năng xảy ra hai loại lỗ hổng bảo mật,

Bỏ qua ủy quyền gọi lại 

Kiến trúc của Tezos được xây dựng để ngăn hợp đồng đọc giá trị trả về của một lệnh gọi bên ngoài bằng cách sử dụng hàm gọi lại. Nhưng ở đây, vì không có hạn chế, việc sử dụng callback có thể dẫn đến các vấn đề kiểm soát truy cập. 

Chèn cuộc gọi

Nó cung cấp phạm vi để kẻ tấn công thỏa hiệp hợp đồng bằng cách chèn các cuộc gọi giữa một hàm và một cuộc gọi bên ngoài được tạo ra. 

Khi thực thi các chức năng, các cuộc gọi được tạo được xếp hàng đợi trong danh sách các lệnh gọi sẽ được thực hiện. Kẻ tấn công có thể đạt được lợi thế bằng cách đặt cuộc gọi của họ vào hàng đợi và thực thi mã giữa phần cuối của hàm được thực thi và các cuộc gọi được tạo. 

Khi cuộc gọi của kẻ tấn công được thực hiện, số dư của hợp đồng hoặc bộ nhớ của hợp đồng chuyển sang trạng thái không hợp lệ và kẻ tấn công thực hiện thành công lệnh gọi. 

Các biện pháp phòng ngừa cần được quan sát khi mã hóa hợp đồng thông minh của Tezos bằng Michelson

Ngôn ngữ lập trình Michelson là một lựa chọn phù hợp để viết các hợp đồng an toàn chống rò rỉ dữ liệu và tài trợ cho các vụ trộm cắp. Mặc dù ngôn ngữ lập trình rất mạnh, nhưng có một danh sách các lỗi có thể xuất hiện trong hợp đồng. 

Hãy cùng tìm hiểu những lỗi thường gặp và cách loại trừ lỗi.

Hoàn trả cho một danh sách các hợp đồng

Đây là một điều kiện trong đó một nhóm quỹ của mọi người được hoàn trả cùng một lúc. Nó xảy ra khi chấp nhận các hợp đồng tùy ý trong đó người dùng độc hại bắt đầu một vấn đề như vậy. 

Các vấn đề có thể xảy ra từ lỗi này là một hợp đồng nuốt tất cả khí thông qua một loạt các lệnh gọi lại, lệnh 'FAIL' được gọi để dừng tất cả các lỗi tính toán, lần truy cập lại, v.v. 

Giải pháp là gì?

Các tài khoản mặc định không thực thi mã; do đó, vấn đề trên có thể được sắp xếp bằng cách tạo một tài khoản mặc định từ khóa của mọi người. Ngoài ra, nó có thể được lập trình để người dùng rút tiền riêng lẻ. 

Không thiết lập trạng thái trước khi chuyển giao

Sự gần gũi là một trở ngại phổ biến trong chuỗi khối. Khi hợp đồng gọi đến một hợp đồng bên ngoài khác để thực hiện chuyển nhượng, người tùy ý có lợi thế hơn trong việc chuyển nhượng thêm nếu trạng thái không được cập nhật sau mỗi lần chuyển nhượng.

Nó gây ra nhiều lần rút tiền từ hợp đồng. 

Giải pháp là gì?

Hãy cẩn thận khi thực hiện các cuộc gọi đến các hợp đồng bên ngoài và đảm bảo rằng hành vi của họ không thể sửa đổi được. Để cấm xuất hiện lại, hãy gắn cờ trong bộ nhớ để người dùng không thể đăng nhập lại trừ khi họ có lý do chính đáng. 

Lưu trữ hoặc chuyển dữ liệu cá nhân

Dữ liệu được xuất bản có thể được xem một cách rõ ràng. Điều đó có nghĩa là thông tin cá nhân sẽ hiển thị với mọi người khi giao dịch được phát đi. Điều này tạo cơ hội cho nút độc hại trong hệ thống thao túng giao dịch chưa được ký bằng cách trì hoãn hoặc sửa đổi chúng. 

Giải pháp là gì?

Ký vào các giao dịch có chứa thông tin nhạy cảm. Sử dụng bộ đếm để thực thi các lệnh giao dịch có thể giải quyết vấn đề. 

Đảm bảo bảo vệ chuyên nghiệp cho các dự án thông qua kiểm tra hợp đồng thông minh của Tezos 

Tezos được xây dựng với cấu trúc tự sửa đổi mang lại khả năng mở rộng và độ tin cậy tốt hơn, nhưng mặc dù bảo mật luôn là vấn đề đáng bàn đối với các ứng dụng dựa trên blockchain. Vấn đề nhỏ nhất có thể gây ra tổn thất quỹ lớn nhất. 

Và đó là nơi QuillAudit tiến thêm một bước để bảo vệ tài sản khỏi sự kìm kẹp của những kẻ xấu. Chúng tôi không cho họ cơ hội khai thác hợp đồng vì chúng tôi nhận ra và khắc phục những vấn đề đó bằng cách tiến hành Kiểm tra hợp đồng thông minh của Tezos. 

Được tư vấn miễn phí với các chuyên gia của chúng tôi để tìm hiểu về các dịch vụ kiểm toán của chúng tôi. 

2 Lượt xem