- Biển số
- OF-626585
- Ngày cấp bằng
- 24/3/19
- Số km
- 8,426
- Động cơ
- 310,264 Mã lực
Tiếp bài trích trên về dự án đồng rup số, và việc Nga định cấm tiền ảo nhưng dĩ nhiên không cấm công nghệ blockchain, ta đưa bài nàyNga chuẩn bị cho ra đời đồng rup kỹ thuật số (digital ruble), đồng thời đề xuất lệnh cấm tiền cryptocurrencies (tiền điện tử). Tuy nhiên công nghệ blockchain không bị cấm. Hiện công nghệ blockchain vẫn đang được dùng ở Nga trong 2 hệ thống bầu cử qua Internet của Nga. Ngoài ra, có thể đồng rup kỹ thuật số cũng dùng blockchain, dù đến nay Nga vẫn chưa được công bố rõ về công nghệ rup số. Đây là mô tả của ngân hàng trung ương Nga:
The [D]digital ruble will have the form of a unique digital code that will be stored on a special electronic wallet. The transfer of a digital ruble from one user to another will take place in the form of moving a digital code from one electronic wallet to another.
Đồng rúp kỹ thuật số [D] sẽ có dạng mã kỹ thuật số duy nhất sẽ được lưu trữ trên một ví điện tử đặc biệt. Việc chuyển một đồng rúp kỹ thuật số từ người dùng này sang người dùng khác sẽ diễn ra dưới hình thức chuyển mã kỹ thuật số từ ví điện tử này sang ví điện tử khác.
Đây là một mô tả rất chung chung, chẳng rõ có dùng blockchain không? Cũng không rõ lệnh cấm cryptocurrencies có ảnh hưởng đến ngành công nghệ blockchain của Nga không? Cần nhớ rằng blockchain có rất nhiều ứng dụng chứ không chỉ dùng cho cryptocurrencies nhưng hiển nhiên cryptocurrencies là 1 trong những mảng ngon của công nghệ blockchain, nên ít nhiều lệnh cấm này cũng sẽ làm đóng cửa không ít dự án blockchain của Nga, nhưng có ảnh hưởng đến nền công nghệ blockchain của Nga hay không thì còn chưa rõ. Nga là 1 trong những nước hàng đầu về công nghệ blockchain
Pavel Durov: Lệnh cấm tiền điện tử sẽ dẫn đến "chảy máu chất xám" từ Nga
Các chuyên gia CNTT có trình độ cao sẽ bắt đầu rời Nga nếu lệnh cấm hoàn toàn đối với các giao dịch tiền điện tử , cũng như hoạt động khai thác, được đưa ra ở nước này. Một hậu quả khác của quyết định như vậy sẽ là sự phá hủy một số lĩnh vực của nền kinh tế công nghệ cao.
Ý kiến này đã được Pavel Durov, người đứng đầu Telegram và cựu lãnh đạo mạng xã hội VKontakte, bày tỏ trong kênh điện tín của mình . Theo vị doanh nhân này, kế hoạch do Ngân hàng Trung ương Nga đề xuất nhằm cấm lưu hành tiền điện tử và việc khai thác nó "chắc chắn sẽ làm chậm sự phát triển của công nghệ blockchain nói chung."
Durov chắc chắn: “Đề xuất một lệnh cấm hoàn toàn đối với tiền điện tử, Ngân hàng Trung ương Liên bang Nga đề xuất hắt cả chậu nước với đứa bé trong đó trong lĩnh vực này."
Đồng thời, người đứng đầu Telegram lưu ý rằng Nga là một trong những quốc gia dẫn đầu về số lượng chuyên gia có trình độ cao trong lĩnh vực công nghiệp blockchain. Tuy nhiên, ý tưởng được Ngân hàng Trung ương lên tiếng áp đặt lệnh cấm thanh toán bằng tiền điện tử, Durov tin rằng, sẽ dẫn đến việc họ bị rút khỏi đất nước.
Vào thứ Năm, ngày 20 tháng 1, Ngân hàng Trung ương đã công bố một báo cáo trên trang web của mình, trong đó họ kêu gọi cấm hoàn toàn việc phát hành, khai thác, cũng như trao đổi và lưu hành tiền điện tử ở Nga. Đặc biệt, nó đã được đề xuất để thiết lập trách nhiệm đối với việc mua hàng hóa và thanh toán cho các dịch vụ bằng tiền điện tử.
Theo cơ quan quản lý, các hoạt động như vậy tạo ra "mối đe dọa đối với hạnh phúc của công dân Nga" và cũng kéo theo những rủi ro đáng kể cho thị trường tài chính.
Pavel Durov: the ban on cryptocurrencies will lead to a "brain drain" from Russia
Павел Дуров: запрет криптовалют приведет к "утечке мозгов" из России
Павел Дуров: запрет криптовалют приведет к "утечке мозгов" из России
Последствием озвученной Центробанком России идеи ввести полный запрет на криптовалюту станет отток специалистов в области блокчейн-индустрии. Об этом предупредил глава Telegram Павел Дуров.www.vesti.ru
Trước khi có tin này, thì blockchain tên là InnoChain trong bài viết dưới đây cũng đã được đăng trên tờ báo và quyển sách quốc tế này, trong series LNNS (Lecture Notes in Networks and Systems) của Springer, Mỹ
Verification of HotStuff BFT Consensus Protocol with TLA+/TLC in an Industrial Setting
Verification of HotStuff BFT Consensus Protocol with TLA+/TLC in an Industrial Setting
The extent of formal verification methods applied in industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs’ application is the...
link.springer.com
Verification of HotStuff BFT Consensus Protocol with TLA+/TLC in an Industrial Setting | Request PDF
Request PDF | Verification of HotStuff BFT Consensus Protocol with TLA+/TLC in an Industrial Setting | The extent of formal verification methods applied in industrial projects has always been limited. The proliferation of distributed ledger systems... | Find, read and cite all the research you...
www.researchgate.net
Architecture of the Formally-Verified Distributed Ledger System InnoChain
Architecture of the Formally-Verified Distributed Ledger System InnoChain | ScienceGate
<jats:p>In this paper we consider the software architecture of InnoChain, a distributed ledger system (DLS) with 5 levels of formal verification, incl ...
www.sciencegate.app
11/2021
Nga đã phát triển blockchain công nghiệp đầu tiên trên thế giới sử dụng các phương pháp xác minh hình thức (formal verification methods)
Hệ thống vạn năng hỗ trợ các hoạt động trong một số quy trình - từ tiếp nhiên liệu cho máy bay đến thanh toán hóa đơn tiện ích . Blockchain công nghiệp được phát triển bởi các chuyên gia của Đại học Innopolis, những người đã sử dụng nó trong công việc của họ trong các dự án cho Aeroflot PJSC và Gazprom Neft PJSC.
Blockchain của một trường đại học CNTT (Russian IT university) của Nga có thể được sử dụng để thương lượng hợp đồng, kiểm soát chuỗi cung ứng, lập kế hoạch khối lượng bán hàng hóa có tính đến các nhà cung cấp và nhóm người mua trong cấu trúc phương pháp luận của các chương trình khách hàng thân thiết, trong giao dịch hoán đổi, bỏ phiếu, tạo hồ sơ kỹ thuật số, kỹ thuật số bao thanh toán, để thanh toán cho các sản phẩm và dịch vụ, phát hành tài sản tài chính kỹ thuật số và trong bất kỳ hệ thống thông tin nào khác yêu cầu hành động phối hợp của một số bên tham gia.
Không giống như các blockchain mở truyền thống, mà bất kỳ ai cũng có thể kết nối bất kỳ lúc nào, blockchain công nghiệp được kiểm soát bởi các tổ chức tham gia và việc bổ sung người tham gia mới xảy ra với sự đồng ý của những người khác.
Sự phát triển của Đại học Innopolis đảm bảo tính minh bạch của các quy trình kinh doanh, vì tất cả những người tham gia đều nhìn thấy từng bước hoạt động, giúp loại bỏ những thay đổi bất hợp pháp đối với tài liệu.
“ Hợp đồng thông minh (smart contract) là các chương trình con chạy trên blockchain của chúng tôi và quản lý các quy trình kinh doanh. Ruslan Rezin , chuyên gia trưởng về các phương pháp xác minh chính thức tại Đại học Innopolis , cho biết các hợp đồng thông minh được phát triển bằng một ngôn ngữ lập trình đặc biệt và đối với chúng, chúng tôi sử dụng phương pháp xác minh chính thức, tức là chúng tôi chứng minh bằng toán học rằng quy trình kinh doanh được thực hiện mà không có lỗi .
InnoChain là blockchain hoàn toàn của Nga đầu tiên có mã nguồn mở, mật mã được chứng nhận theo GOST và hỗ trợ cho các hợp đồng thông minh, được tạo ra bởi các chuyên gia từ Trung tâm Nghiên cứu Hàng đầu về Hệ thống Đăng ký Phân tán của Đại học Innopolis (Leading Research Center for Distributed Registry Systems of Innopolis University.).
Cốt lõi của InnoChain, các phương pháp xác minh chính thức hoạt động trên năm cấp độ:
- ngôn ngữ của hợp đồng thông minh: mức độ tin cậy cao của mã nguồn giúp loại bỏ chi phí lao động để kiểm tra và loại bỏ lỗi;
- biên dịch (compilation) các hợp đồng thông minh: giảm thiểu rủi ro lỗi trong mã máy, tăng độ tin cậy của việc thực thi các hợp đồng thông minh;
- thuật toán của các nút của hệ thống sổ cái phân tán (nodes of the distributed ledger system): rủi ro sai sót trong logic truyền, xử lý và lưu trữ các giao dịch được giảm thiểu;
- hệ điều hành seL4: giảm thiểu nguy cơ có lỗ hổng ở cấp hệ điều hành;
- giao thức đồng thuận ( consensus protocol): nguy cơ tấn công mạng thành công trên giao thức đồng thuận được giảm thiểu.
The world's first industrial blockchain was developed in Russia using formal verification methods
В России разработали первый в мире индустриальный блокчейн с применением методов формальной верификации
В России разработали первый в мире индустриальный блокчейн с применением методов формальной верификации - CNews
Универсальная система поддерживает операции по нескольким процессам — от заправки воздушных судов до оплаты...
www.cnews.ru
----------------------------------------------------------------------------------------
Nga đang xây dựng một nền tảng quản lý năng lượng dựa trên blockchain
Tại Nga, trong khuôn khổ dự án NTI, một nền tảng kỹ thuật số để quản lý năng lượng phân tán đang được tạo ra. Nền tảng sẽ trở thành cơ sở để tạo ra một mô hình thống nhất của thị trường năng lượng bán lẻ với sự tích hợp của các công nghệ blockchain.
Dự án A-Platform được khởi chạy như một phần của NTI
à một phần của " Sáng kiến Công nghệ Quốc gia " (NTI), một dự án đã được khởi động nhằm tạo ra một nền tảng kỹ thuật số để quản lý năng lượng phân tán. Điều này đã được báo cáo cho CNews trong dịch vụ báo chí của Nền tảng NTI.
Dự án được đặt tên là "A-Platform". Nó sẽ được thực hiện bởi công ty Rtsoft hoạt động tại thị trường Nga về tự động hóa công nghiệp, công nghệ máy tính nhúng và phát triển phần mềm. Rtsoft là thành viên của một trong các lĩnh vực NTI - Energynet ("Internet of Energy") - liên quan đến việc phát triển và quảng bá các dịch vụ trong lĩnh vực mạng phân phối linh hoạt và đáng tin cậy, năng lượng phân tán và các dịch vụ tiêu dùng.
Để thực hiện dự án, " Rtsoft " đã tạo ra một doanh nghiệp riêng - "Intelab". Dự án A-Platform sẽ được thực hiện dựa trên các nguyên tắc của Kiến trúc Năng lượng Internet (IDEA). Nó liên quan đến việc tạo ra một nền tảng kỹ thuật số cơ bản duy nhất cho các hệ thống quản lý năng lượng phân tán.
Tại sao chúng ta cần một nền tảng kỹ thuật số trong lĩnh vực năng lượng phân tán
Khách hàng chính của nền tảng kỹ thuật số đang được tạo ra sẽ là chủ sở hữu của các nguồn năng lượng phân tán, các tổ chức lưới điện và các công ty bán hàng, các doanh nghiệp công nghiệp và hệ sinh thái nền tảng sẽ bao gồm các nhà phát triển phần mềm, nhà sản xuất thiết bị, trường đại học và viện nghiên cứu.
Tại Nga, trong khuôn khổ dự án NTI, một nền tảng kỹ thuật số để quản lý năng lượng phân tán đang được tạo ra
Nền tảng sẽ cho phép sử dụng các công nghệ kỹ thuật số hiện đại tại các cơ sở năng lượng quy mô nhỏ. Trong tương lai, nền tảng này sẽ có thể là cơ sở để tạo ra một mô hình thống nhất của thị trường năng lượng bán lẻ với sự tích hợp của các công nghệ blockchain.
Alexei Nebera , CTO của Rtsoft, giám đốc dự án của A-Platform, nói rằng nền tảng kỹ thuật số sẽ hoạt động vào năm 2024. Hiện tại, các kịch bản cơ bản và mô hình thông tin về các đối tượng kiểm soát và các hạn chế thị trường của nền tảng và các kịch bản mô phỏng để sử dụng nó đã đã được chuẩn bị. Việc phát triển tích cực các thành phần của nền tảng kỹ thuật số và triển khai các dự án thí điểm nhằm kiểm tra các thành phần đã phát triển hiện đang được tiến hành.
Nebera cho biết: “Vào thời điểm ra mắt đầy đủ, nền tảng này sẽ hoạt động ở giao điểm của các công nghệ kỹ thuật số như cặp song sinh kỹ thuật số, trí tuệ nhân tạo, Internet vạn vật công nghiệp, blockchain và những thứ khác”. “Do đó, những người tham gia thị trường sẽ có thể sử dụng các công nghệ mới tại các cơ sở năng lượng phân tán để tự động hóa hiệu quả các quá trình phát triển, kiểm soát và quản lý các chế độ của cơ sở trong khi giảm thiểu lượng khí thải carbon.”
Ngoài ra, nền tảng sẽ cho phép làm việc với dữ liệu lớn, điều này sẽ đảm bảo xác định các yếu tố phụ thuộc mới để cải thiện hiệu quả của hệ thống phát điện, lưu trữ năng lượng và tải tiêu dùng được kiểm soát.
Dự báo thị trường EnergyNet đến năm 2035
Theo lộ trình của EnergyNet , thị trường " năng lượng thông minh " có thể được chia thành ba phân khúc. Phân khúc "mạng lưới phân phối đáng tin cậy và linh hoạt" bao gồm một tập hợp các giải pháp đảm bảo hoạt động hiệu quả và đáng tin cậy của mạng lưới phân phối, mở và thích ứng với các cơ sở mới. Tại Nga , đến năm 2035, quy mô thị trường trong phân khúc này sẽ đạt 15 tỷ USD.
Phân đoạn thứ hai, "Năng lượng phân phối thông minh", là một tập hợp các giải pháp đảm bảo tích hợp vào hệ thống điện và hoạt động chung của các công cụ tạo, lưu trữ, kiểm soát tải phân tán, cũng như đảm bảo hoạt động của các loại tập hợp năng lượng phân tán khác nhau. cơ sở. Tại Nga, đến năm 2035, quy mô thị trường trong phân khúc này sẽ là 14 tỷ USD.
Phân khúc thứ ba là "Dịch vụ tiêu dùng". Nó bao gồm một tập hợp các giải pháp cung cấp cho người dùng cuối các dịch vụ tùy chỉnh để cung cấp điện và quản lý cơ sở hạ tầng kỹ thuật. Tại Nga, vào năm 2035, quy mô thị trường trong phân khúc này sẽ là 11,7 tỷ USD và tổng khối lượng của các nhà sản xuất Nga trên thị trường Energynet sẽ tăng lên 40,7 tỷ USD vào năm 2035.
A blockchain-based energy management platform is being built in Russia
В России строится платформа управления энергетикой на блокчейне
В России строится платформа управления энергетикой на блокчейне - CNews
В России в рамках проекта НТИ создается цифровая платформа управления распределенной энергетикой. Платформа...
www.cnews.ru