Blockstream đã chính thức giới thiệu Simplicity, một ngôn ngữ lập trình hợp đồng thông minh chuyên biệt được thiết kế để hoạt động trên Liquid Network. Đây là một bước tiến quan trọng trong việc nâng cao khả năng của mạng Bitcoin, đặc biệt là trong lĩnh vực hợp đồng thông minh có độ bảo mật cao.

Simplicity được phát triển như một ngôn ngữ lập trình cấp thấp, cho phép xác minh chính thức và tích hợp trực tiếp với mô hình UTXO (Unspent Transaction Output) của Bitcoin. Điều này giúp loại bỏ các rủi ro tiềm ẩn liên quan đến đệ quy và trạng thái toàn cục, từ đó giảm thiểu nguy cơ khai thác lỗ hổng và tăng cường bảo mật. Các tính năng này cho phép chứng minh tính chính xác bằng toán học trước khi thực thi, tạo ra một môi trường lập trình an toàn hơn.

Ông Adam Back, Đồng sáng lập kiêm Giám đốc điều hành của Blockstream, cho biết rằng Simplicity mang lại cho Bitcoin sức mạnh hợp đồng thông minh biểu đạt mà không gặp phải các vấn đề bảo mật thường gặp ở các chuỗi dựa trên máy ảo. Điều này có nghĩa là các nhà phát triển có thể tạo ra các hợp đồng thông minh phức tạp mà không lo lắng về các lỗ hổng bảo mật tiềm ẩn.

Simplicity được thiết kế bởi Tiến sĩ Russell O’Connor vào năm 2012 và đã được phát triển bởi Blockstream Research trong hơn một thập kỷ. Ngôn ngữ lập trình này hỗ trợ nhiều ứng dụng tài chính có thể lập trình, bao gồm rút tiền theo thời gian, kho tiền được kiểm soát truy cập, sàn giao dịch phi tập trung và cơ chế quản trị. Những tính năng này mở ra khả năng cho việc phát triển các giải pháp tài chính phức tạp trên nền tảng Bitcoin.

Với lần ra mắt này, Simplicity sẽ có mặt trên Liquid Network, chuỗi phụ Bitcoin của Blockstream tập trung vào phát hành tài sản. Việc tích hợp Simplicity cho phép các hợp đồng phức tạp và logic kho lưu trữ chạy trên cơ sở hạ tầng Bitcoin mà không cần sử dụng các lớp của bên thứ ba hoặc token được đóng gói. Điều này giúp nâng cao tính linh hoạt và bảo mật cho các ứng dụng tài chính trên Liquid Network.

Blockstream tin rằng Simplicity có thể cung cấp một nền tảng an toàn và vững chắc hơn cho tài chính phi tập trung. Họ kỳ vọng ngôn ngữ này sẽ đưa việc áp dụng Bitcoin vào cơ sở hạ tầng vận hành của doanh nghiệp vượt ra ngoài phạm vi đầu tư mang tính đầu cơ, mở ra một kỷ nguyên mới cho việc sử dụng Bitcoin trong các ứng dụng tài chính thực tế.

Bản phát hành ra mắt đúng vào thời điểm các tổ chức tài chính đang xem xét lại cơ sở hạ tầng blockchain sau nhiều năm thử nghiệm và triển khai bị đình trệ. Simplicity mang đến một giải pháp thay thế cho các công ty đang tìm kiếm khả năng kiểm toán và sự rõ ràng về quy định, đồng thời vẫn tuân thủ các thông số của mô hình bảo mật Bitcoin. Điều này có thể thúc đẩy sự phát triển của các giải pháp tài chính dựa trên blockchain trong tương lai.

Để tìm hiểu thêm thông tin về Simplicity và cách nó hoạt động, bạn có thể truy cập vào trang web chính thức của Blockstream để có thông tin chi tiết.

Người sáng lập Cardano, Charles Hoskinson, vừa đưa ra thông báo quan trọng liên quan đến báo cáo kiểm toán về số lượng ADA mà công ty Input Output Global (IOG) của ông đang nắm giữ. Dự kiến báo cáo này sẽ được công bố vào giữa tháng Tám, và ông Hoskinson đã xác nhận rằng mình đã nhận được bản nháp của báo cáo này.

Theo thông tin được chia sẻ, Hoskinson đang yêu cầu thêm thông tin chi tiết cũng như bối cảnh để đảm bảo rằng báo cáo sẽ cung cấp một cái nhìn toàn diện và chính xác về số lượng ADA mà IOG nắm giữ. Báo cáo này sẽ được đăng tải trên một trang web riêng biệt, nhằm cung cấp một nguồn thông tin minh bạch và đáng tin cậy cho cộng đồng.

Không chỉ dừng lại ở đó, Hoskinson cũng có kế hoạch trình bày một lời giải thích toàn diện trong một buổi phát sóng trực tiếp sắp tới. Điều này sẽ giúp ông có cơ hội giải đáp trực tiếp các thắc mắc và quan ngại của cộng đồng, cũng như cung cấp thêm thông tin chi tiết về báo cáo kiểm toán.

Trước đó, Hoskinson đã phủ nhận mọi cáo buộc về việc thao túng dữ liệu trên chuỗi hoặc chiếm đoạt quỹ. Ông khẳng định rằng những cáo buộc này là không có căn cứ và đang gây tổn hại cho danh tiếng của ông cũng như công ty IOG.

Hiện tại, Hoskinson đang tư vấn với các luật sư để nghiên cứu các biện pháp pháp lý có thể thực hiện đối với những cáo buộc mà ông cho là phỉ báng. Điều này cho thấy rằng ông đang nghiêm túc xem xét các bước cần thiết để bảo vệ danh tiếng và quyền lợi của mình.

Như vậy, có thể thấy rằng Charles Hoskinson đang tích cực làm việc để cung cấp thông tin minh bạch và giải quyết các quan ngại của cộng đồng. Việc công bố báo cáo kiểm toán và buổi phát sóng trực tiếp sắp tới sẽ là những bước quan trọng trong việc giải quyết các vấn đề này.

Kiểm toán Nhà nước vừa báo cáo Quốc hội về kết quả kiểm toán chủ yếu năm 2024, trong đó tiết lộ tình hình tài chính của nhiều tập đoàn, tổng công ty nhà nước. Theo báo cáo, 9/9 tập đoàn, tổng công ty được kiểm tra đều có lãi, với một số đơn vị đạt tỷ suất lợi nhuận sau thuế trên vốn chủ sở hữu trên 10%, thậm chí vượt 20%. Tuy nhiên, việc quản lý và sử dụng vốn, tài sản của các doanh nghiệp này còn nhiều hạn chế.

Qua kiểm toán, các đơn vị đã phát hiện nhiều sai sót trong công tác hạch toán và kê khai nghĩa vụ với ngân sách Nhà nước. Điều chỉnh tài sản, nguồn vốn, doanh thu, chi phí là một trong những vấn đề phổ biến. Một số đơn vị chưa xây dựng quy chế quản lý tiền, quản lý dòng tiền chưa hiệu quả, dẫn đến tình trạng nợ phải thu quá hạn và khó đòi lớn.

Kết quả kiểm toán cũng cho thấy, nhiều tập đoàn, tổng công ty có khoản lỗ lớn. Công ty mẹ – TKV có 4 khoản đầu tư vào công ty con có lỗ lũy kế tại thời điểm 31/12/2023 là hơn 412 tỷ đồng. Tổng công ty khoáng sản TKV có 1 khoản đầu tư không bảo toàn vốn và 3 khoản đầu tư vào công ty con chưa chia cổ tức do lợi nhuận sau phân phối không đủ chia cổ tức hoặc có lãi nhưng còn lỗ lũy kế.

Không chỉ vậy, nhiều khoản đầu tư của tập đoàn, tổng công ty vào công ty liên doanh, liên kết, đầu tư dài hạn khác bị thua lỗ. Công ty mẹ – Vinapharm có CTCP Dược phẩm Trung ương 2 ghi nhận lỗ lũy kế hơn 122 tỷ đồng tính đến 31/12/2023. CTCP Dược Davina lỗ 18,39 tỷ đồng. Công ty mẹ – HUD có CTCP Sài Gòn – Rạch Giá lỗ lũy kế gần 124,5 tỷ đồng.

Kết quả kiểm toán chuyên đề tại Tổng công ty Đầu tư và Kinh doanh vốn nhà nước (SCIC) cũng cho thấy, SCIC đã thoái vốn tại 37/77 doanh nghiệp với tổng giá vốn là 2.801/12.821 tỷ đồng, bằng 21,8% kế hoạch 5 năm trong giai đoạn 2021-2023. Tuy nhiên, SCIC chưa hoàn tất cổ phần hóa tại một số đơn vị và chưa tiếp nhận đầy đủ quyền đại diện chủ sở hữu vốn nhà nước tại 5 doanh nghiệp.

Ngoài ra, kết quả kiểm toán cũng cho thấy, lỗ lũy kế tại ngày 31/12/2023 của Tổng công ty Cà phê Việt Nam là 738,8 tỷ đồng. Tập đoàn Điện lực Việt Nam (EVN) lỗ lũy kế 50.611 tỷ đồng. Tập đoàn Hoá chất Việt Nam lỗ lũy kế 884,39 tỷ đồng. Những con số này cho thấy tình hình tài chính của nhiều tập đoàn, tổng công ty nhà nước đang gặp nhiều khó khăn.

Trước những vấn đề trên, Kiểm toán Nhà nước đã kiến nghị các cơ quan, đơn vị liên quan cần tăng cường quản lý và kiểm tra việc sử dụng vốn, tài sản nhà nước, đồng thời yêu cầu các doanh nghiệp phải có giải pháp để khắc phục những hạn chế và thua lỗ.

Nhìn chung, kết quả kiểm toán đã phản ánh một bức tranh toàn diện về tình hình tài chính của nhiều tập đoàn, tổng công ty nhà nước. Qua đó, cơ quan chức năng có thể có những giải pháp phù hợp nhằm nâng cao hiệu quả quản lý và sử dụng vốn, tài sản nhà nước.