Điều khoản dịch vụ.

Phạm vi và sự chấp nhận

Các điều khoản này điều chỉnh việc truy cập và sử dụng Scorpio, một bộ máy phân tích an toàn kinh tế tự động cho mã Solidity, bao gồm bước kiểm tra sơ bộ, yêu cầu phân tích, thanh toán x402 và việc tải kết quả.

Khi yêu cầu một lần phân tích, người dùng tuyên bố đã đọc và chấp nhận các điều khoản này cùng Chính sách quyền riêng tư. Nếu hành động thay cho một tổ chức, người đó tuyên bố có đủ thẩm quyền để ràng buộc tổ chức ấy.

Danh tính bên vận hành

Chủ sở hữu và bên cung cấp dịch vụ là José Luis Sánchez, mã số thuế 71223690G, địa chỉ calle Repullete 100, 23300 Villacarrillo (Jaén), Tây Ban Nha. Scorpio là sản phẩm của Automaton Colony và do cùng người đó điều hành. Dịch vụ chạy trên tên miền scorpio.automatoncolony.xyz.

Liên hệ: jls.17@automatoncolony.xyz. Ví nhận tiền là 0x3a6e…30aB trên mạng Base; địa chỉ này công khai và kiểm được ở bất cứ trình khám phá nào.

Điều kiện sử dụng và quyền đối với mã

Người dùng phải có năng lực pháp lý để giao kết hợp đồng và dùng một ví tương thích với khoản thanh toán được yêu cầu. Người đó chỉ được gửi những kho mã mà mình được phép thực hiện phân tích an toàn.

Việc một kho mã công khai không đồng nghĩa với việc được phép khai thác, gây hại hay truy cập không phép vào một giao thức đã triển khai. Việc dùng kết quả phải tôn trọng quy định của dự án, quy định của chương trình tiền thưởng và pháp luật hiện hành.

Mô tả dịch vụ

Sản phẩm đang mở, Kiểm toán đầy đủ (AUDIT-149), chạy phân tích tự động trên mười nhóm có trong danh mục hiện hành. Nó nhận các kho công khai tương thích Foundry và tối đa 1.200 tệp Solidity của dự án, miễn là vượt qua bước kiểm tra sơ bộ.

Phạm vi kỹ thuật hiện nay

• Việc phân tích được thực hiện trên mã và commit đã nêu trong đơn hàng.
• Sản phẩm đang mở không đọc trạng thái hiện tại của chuỗi.
• Thời gian ghi trong danh mục là con số dự tính cho lượt chạy, không phải cam kết mức dịch vụ.
• Những chức năng còn đang chuẩn bị không thuộc dịch vụ đã đặt, cho đến khi chúng hiện ra là đang mở trong danh mục công khai.

Kiểm tra sơ bộ và việc hình thành đơn hàng

Bước kiểm tra sơ bộ miễn phí và kiểm xem URL, kho mã, việc biên dịch dự kiến và số tệp có nằm trong phạm vi hay không. Kết quả của nó chỉ có tính thông báo, cho đến khi máy chủ đưa ra một bản chào hợp lệ.

Một kho mã bị từ chối ở bước kiểm tra sơ bộ sẽ không sinh ra đơn thanh toán. Bản chào nêu rõ sản phẩm, giá, mạng, tài sản, người nhận và thời hạn hiệu lực. Việc thay đổi kho mã hoặc commit có thể đòi một lần kiểm tra sơ bộ mới.

Giá và thanh toán x402

Giá của AUDIT-149 là 149 USDC, trừ khi danh mục đang hiệu lực hiển thị một điều kiện khác trước khi khoản thanh toán được nhận. Việc thanh toán thực hiện qua giao thức x402, trên mạng và tới địa chỉ ghi trong bản chào.

Đây là bản chào mà dịch vụ đưa ra hôm nay, và chính nó có giá trị hơn bất kỳ số liệu nào chép từ nơi khác:

• Việc chọn đúng mạng và có đủ tiền là trách nhiệm của người dùng.
• Phí mạng hoặc phí của bên thứ ba được hiển thị và xử lý ngoài giá của Scorpio.
• Lượt chạy bắt đầu khi khoản thanh toán được xác nhận và tất toán theo quy trình x402.
• Các giao dịch đã được xác nhận trên một blockchain công khai thì ai cũng thấy được và Scorpio không thể xoá.

Trạng thái và bản giao

Mỗi đơn hàng có thể ở một trong các trạng thái sau:

• PENDING: khoản thanh toán hoặc lượt chạy vẫn đang dở.
• DONE: bản giao đã dự kiến đã xong.
• INCOMPLETE: có một bản giao một phần, và giới hạn của nó được ghi trong chính kết quả.
• FAILED: bộ máy không tạo ra được bản giao.
• EXPIRED: bản giao từng có và đã bị xoá vì hết thời hạn lưu giữ.

Chính xác thì giao những gì

Bản giao của AUDIT-149 gồm hai thứ, đúng là những gì dịch vụ tạo ra hôm nay:

• Báo cáo kiểm toán bằng tiếng Anh, dạng Markdown, mang sẵn niêm phong SHA-256 của chính nó ở bên trong.
• Phiên bản đã phân tích: đúng commit và cây tệp của bản nhân bản đã làm việc trên đó, để bất kỳ phát hiện nào cũng chỉ được ra trên một phiên bản cụ thể.

Hai thứ đó lấy lại được bao nhiêu lần cũng được tại GET /audit/<identificador> trong 30 ngày kể từ khi đơn hàng xong. Hết thời hạn đó, bản giao bị xoá và cùng một truy vấn sẽ trả về EXPIRED, chỉ còn lại ghi chép về khoản thanh toán. Nên tải và lưu báo cáo ngay khi nhận được.

Bộ máy thất bại và việc hoàn tiền

Nếu Scorpio đã nhận và tất toán khoản thanh toán, nhưng bộ máy hoặc hạ tầng thuộc quyền kiểm soát của bên vận hành không tạo ra được bản giao đã đặt, đơn hàng sẽ bị đánh dấu FAILED và tiền dịch vụ được hoàn lại.

Phí mạng, chênh lệch tỷ giá và những chi phí do bên thứ ba thu không nằm trong khoản hoàn. Không hoàn tiền vì không tìm ra lỗ hổng, vì không đồng ý với mức nghiêm trọng, vì mất quyền truy cập ví, hay vì dùng kết quả ngoài phạm vi đã đặt.

Việc đó được làm thế nào

Việc hoàn tiền làm bằng tay, không tự động. Dịch vụ không giữ tiền trong tài khoản đặt cọc hay hợp đồng bảo đảm: khi khoản thanh toán tất toán, số tiền vào thẳng quỹ. Vì vậy, nếu đơn hàng thất bại, người ra lệnh hoàn tiền là một con người.

Điều làm cho việc đó khả thi là mỗi đơn hàng đều được ghi lại kèm mã đơn, mã băm giao dịch, địa chỉ đã trả tiền và lý do thất bại chính xác. Với những dữ liệu đó, bên vận hành hoàn tiền về đúng địa chỉ đã trả.

• Thời hạn: việc hoàn tiền được ra lệnh trong 14 ngày sau khi đơn hàng chuyển sang FAILED. Việc xác nhận trên mạng có thể mất thêm vài phút.
• Kênh liên hệ: không cần khiếu nại thì việc này mới được làm. Bên vận hành xem lại các đơn ở trạng thái FAILED và ra lệnh hoàn tiền. Nếu hết thời hạn mà vẫn chưa nhận được, bạn có thể viết tới jls.17@automatoncolony.xyz, nêu mã đơn hàng và mã băm giao dịch.
• Nơi nhận: đúng địa chỉ đã trả tiền, cùng loại tài sản và cùng mạng. Không hoàn về địa chỉ nào khác ngoài địa chỉ đã trả.

Một đơn ở trạng thái INCOMPLETE không phải là thất bại: bản giao vẫn có, giới hạn của nó được ghi trong chính kết quả, và nó không tự động sinh ra việc hoàn tiền. Nếu bản giao một phần đó không dùng được cho mục đích dự tính, bạn có thể nêu vấn đề qua cùng kênh trên.

Sử dụng được phép và bị cấm

Scorpio dành cho việc phát triển an toàn, việc rà soát có phép, việc nghiên cứu có trách nhiệm và việc tham gia hợp pháp vào các chương trình tiền thưởng.

Không được dùng dịch vụ này để khai thác hệ thống, che giấu hoạt động xấu, phân tích mã có được một cách trái phép, làm gián đoạn dịch vụ, xâm phạm quyền của người khác, né lệnh trừng phạt hay tiếp tay cho tội phạm. Khi có dấu hiệu hợp lý về việc lạm dụng, bên vận hành có thể từ chối hoặc dừng một đơn hàng.

Quyền sở hữu trí tuệ

Người dùng và những người có quyền ban đầu vẫn giữ quyền đối với kho mã được phân tích. Việc gửi URL cho bên vận hành một sự cho phép có giới hạn để lấy, biên dịch và xử lý mã đó, chỉ nhằm mục đích cung cấp dịch vụ này.

Bộ máy, các bộ dò, giao diện và các thành phần của nó vẫn thuộc quyền của bên vận hành hoặc của những bên cấp phép cho họ. Người dùng có thể dùng, sao lại và chia sẻ báo cáo để sửa dự án, ghi nhận rủi ro hoặc trình bày những phát hiện có phép, trong khi tôn trọng quyền của người khác đối với mã.

Kết quả và việc không có bảo đảm

Scorpio cung cấp phân tích tự động và bằng chứng kỹ thuật. Nó không bảo đảm không có cảnh báo sai, không bảo đảm bao phủ toàn bộ, không bảo đảm tìm ra mọi lỗ hổng, không bảo đảm mã là đúng, không bảo đảm chạy liên tục, cũng không bảo đảm một phát hiện sẽ được chương trình tiền thưởng chấp nhận.

Kết quả không tương đương với một lần kiểm toán do con người làm, không phải chứng nhận, không phải tư vấn pháp lý hay tài chính, cũng không phải lời khuyên đầu tư. Người dùng phải tự kiểm lại từng phát hiện và áp dụng quy trình rà soát, kiểm thử và triển khai của riêng mình.

Giới hạn trách nhiệm

Trong phạm vi pháp luật cho phép, bên vận hành không chịu trách nhiệm về thiệt hại gián tiếp, lợi nhuận bị mất, cơ hội bị bỏ qua, tài sản số bị mất, các quyết định triển khai, hay thiệt hại phát sinh từ việc khai thác, bỏ qua hoặc hiểu sai một kết quả.

Toàn bộ trách nhiệm gắn với một đơn hàng được giới hạn ở số tiền đã trả cho đơn hàng đó, trừ những trường hợp pháp luật không cho phép loại trừ hay giới hạn trách nhiệm. Không có điều nào trong các điều khoản này giới hạn các quyền bắt buộc của người tiêu dùng, ở nơi những quyền đó được áp dụng.

Tạm dừng, thay đổi và chấm dứt

Bên vận hành có thể tạm dừng việc truy cập vì bảo trì, rủi ro kỹ thuật, gian lận, việc vi phạm các điều khoản này hoặc yêu cầu của pháp luật. Nếu một lần tạm dừng thuộc lỗi của bên vận hành làm cho một bản giao đã trả tiền không thực hiện được, điều khoản hoàn tiền sẽ áp dụng.

Các điều kiện có thể được cập nhật để phản ánh những thay đổi về kỹ thuật, thương mại hay pháp lý. Bản áp dụng cho một đơn hàng là bản được nêu rõ và chấp nhận vào lúc thanh toán.

Luật áp dụng và việc giải quyết tranh chấp

Áp dụng luật Tây Ban Nha, tức luật của nước mà bên cung cấp đặt cơ sở. Tranh chấp được đưa ra toà án tại Tây Ban Nha, không ảnh hưởng tới những thẩm quyền bắt buộc mà pháp luật bảo vệ người tiêu dùng dành cho người giao kết với tư cách người tiêu dùng. Nếu một điều khoản bị tuyên vô hiệu, những điều khoản còn lại vẫn có hiệu lực.

Mọi khiếu nại được gửi tới địa chỉ thư ở mục 15 và được trả lời trong tối đa năm ngày làm việc. Nếu câu trả lời chưa thoả đáng, người giao kết với tư cách người tiêu dùng có thể tìm đến các cơ quan bảo vệ người tiêu dùng nơi mình cư trú. Bên cung cấp không tham gia bất kỳ hệ thống giải quyết tranh chấp ngoài toà nào.

Liên hệ

Để được hỗ trợ, báo sự cố thanh toán hoặc hỏi về các điều khoản này: jls.17@automatoncolony.xyz.

Hãy giữ mã đơn hàng và mã băm giao dịch. Đừng gửi khoá riêng, cụm từ khôi phục hay thông tin đăng nhập của kho mã.