** Ngôn ngữ hợp đồng thông minh Pact Pact của Kadena nhằm mục đích trở thành một tiêu chuẩn phổ quát **
Kadena, một nền tảng blockchain sử dụng một cơ chế đồng thuận mới lạ có tên là Proof Proof of Work Sharding, đã ra mắt một ngôn ngữ hợp đồng thông minh mới có tên PACT.Công ty hy vọng rằng PACT sẽ trở thành một tiêu chuẩn phổ quát cho các hợp đồng thông minh, bất kể các nhà phát triển nền tảng blockchain nào chọn sử dụng.
PACT được thiết kế để tạo điều kiện cho việc thực hiện các hợp đồng thông minh giữa các nhà phát triển sử dụng các blockchain khác nhau.Kadena tin rằng ngôn ngữ sẽ giúp thu hẹp khoảng cách giữa các hệ sinh thái blockchain khác nhau và giúp các nhà phát triển dễ dàng tạo và triển khai các hợp đồng thông minh dễ dàng hơn.
Chúng tôi tin rằng Pact là tương lai của các hợp đồng thông minh.Một số ngôn ngữ đầu tiên có thể đọc được cho phép các nhà phát triển viết các hợp đồng thông minh với xác minh chính thức, điều đó có nghĩa là chúng có thể được chứng minh là chính xác trước khi họ triển khai.
Xác minh chính thức là một kỹ thuật toán học có thể được sử dụng để chứng minh tính chính xác của các thuật toán.Bằng cách sử dụng xác minh chính thức, Kadena tin rằng PACT có thể giúp giảm nguy cơ mắc lỗi và lỗ hổng hợp đồng thông minh.
Nền tảng blockchain của Kadena đã được phát hành vào ngày 4 tháng 11 năm 2019. Nền tảng này kết hợp với 10 blockchain bằng chứng hoạt động đồng thời, với nguồn gốc Merkle được chia sẻ cho phép chia sẻ dữ liệu trên các mạng khác nhau.
Kadena đã huy động được tổng cộng 32 triệu đô la tài trợ cho đến nay.Các nhà đầu tư của công ty bao gồm Fidelity Investments, Devonshire Investors, Multicoin Capital, Asimov Investments, SV Angel và SIG.
**Những bài viết liên quan:**
* [Kadena là gì?] (Https://www.coindesk.com/what-is-kadena)
* [Kadena ra mắt nền tảng blockchain của mình với bán mã thông báo 20 triệu đô la] (https://www.coindesk.com/kadena-launches-blockchain-platform-with-20m-token-sale)
* [Cơ chế đồng thuận Kadena Kadena: bằng chứng về việc chia rẽ công việc] (https://www.coindesk.com/kadenas-consensus-manismism-proof-of-work-sharding)
=======================================
**Kadena's Pact Smart Contract Language Aims to Become a Universal Standard**
Kadena, a blockchain platform that uses a novel consensus mechanism called “proof of work sharding,” has launched a new smart contract language called Pact. The company hopes that Pact will become a universal standard for smart contracts, regardless of which blockchain platform developers choose to use.
Pact is designed to facilitate the execution of smart contracts among developers who use different blockchains. Kadena believes that the language will help to bridge the gap between different blockchain ecosystems and make it easier for developers to create and deploy smart contracts.
“We believe that Pact is the future of smart contracts,” said Stuart Popejoy, founder and CEO of Kadena. “It’s the first human-readable language that allows developers to write smart contracts with formal verification, which means that they can be proven to be correct before they’re deployed.”
Formal verification is a mathematical technique that can be used to prove the correctness of algorithms. By using formal verification, Kadena believes that Pact can help to reduce the risk of smart contract bugs and vulnerabilities.
Kadena’s blockchain platform went live on November 4, 2019. The platform weaves together 10 proof-of-work blockchains running concurrently, with shared Merkle roots that allow data to be shared across different networks.
Kadena has raised a total of $32 million in funding to date. The company’s investors include Fidelity Investments, Devonshire Investors, Multicoin Capital, Asimov Investments, SV Angel, and Sig.
**Related Articles:**
* [What is Kadena?](https://www.coindesk.com/what-is-kadena)
* [Kadena Launches Its Blockchain Platform With a $20 Million Token Sale](https://www.coindesk.com/kadena-launches-blockchain-platform-with-20m-token-sale)
* [Kadena’s Consensus Mechanism: Proof of Work Sharding](https://www.coindesk.com/kadenas-consensus-mechanism-proof-of-work-sharding)
Kadena, một nền tảng blockchain sử dụng một cơ chế đồng thuận mới lạ có tên là Proof Proof of Work Sharding, đã ra mắt một ngôn ngữ hợp đồng thông minh mới có tên PACT.Công ty hy vọng rằng PACT sẽ trở thành một tiêu chuẩn phổ quát cho các hợp đồng thông minh, bất kể các nhà phát triển nền tảng blockchain nào chọn sử dụng.
PACT được thiết kế để tạo điều kiện cho việc thực hiện các hợp đồng thông minh giữa các nhà phát triển sử dụng các blockchain khác nhau.Kadena tin rằng ngôn ngữ sẽ giúp thu hẹp khoảng cách giữa các hệ sinh thái blockchain khác nhau và giúp các nhà phát triển dễ dàng tạo và triển khai các hợp đồng thông minh dễ dàng hơn.
Chúng tôi tin rằng Pact là tương lai của các hợp đồng thông minh.Một số ngôn ngữ đầu tiên có thể đọc được cho phép các nhà phát triển viết các hợp đồng thông minh với xác minh chính thức, điều đó có nghĩa là chúng có thể được chứng minh là chính xác trước khi họ triển khai.
Xác minh chính thức là một kỹ thuật toán học có thể được sử dụng để chứng minh tính chính xác của các thuật toán.Bằng cách sử dụng xác minh chính thức, Kadena tin rằng PACT có thể giúp giảm nguy cơ mắc lỗi và lỗ hổng hợp đồng thông minh.
Nền tảng blockchain của Kadena đã được phát hành vào ngày 4 tháng 11 năm 2019. Nền tảng này kết hợp với 10 blockchain bằng chứng hoạt động đồng thời, với nguồn gốc Merkle được chia sẻ cho phép chia sẻ dữ liệu trên các mạng khác nhau.
Kadena đã huy động được tổng cộng 32 triệu đô la tài trợ cho đến nay.Các nhà đầu tư của công ty bao gồm Fidelity Investments, Devonshire Investors, Multicoin Capital, Asimov Investments, SV Angel và SIG.
**Những bài viết liên quan:**
* [Kadena là gì?] (Https://www.coindesk.com/what-is-kadena)
* [Kadena ra mắt nền tảng blockchain của mình với bán mã thông báo 20 triệu đô la] (https://www.coindesk.com/kadena-launches-blockchain-platform-with-20m-token-sale)
* [Cơ chế đồng thuận Kadena Kadena: bằng chứng về việc chia rẽ công việc] (https://www.coindesk.com/kadenas-consensus-manismism-proof-of-work-sharding)
=======================================
**Kadena's Pact Smart Contract Language Aims to Become a Universal Standard**
Kadena, a blockchain platform that uses a novel consensus mechanism called “proof of work sharding,” has launched a new smart contract language called Pact. The company hopes that Pact will become a universal standard for smart contracts, regardless of which blockchain platform developers choose to use.
Pact is designed to facilitate the execution of smart contracts among developers who use different blockchains. Kadena believes that the language will help to bridge the gap between different blockchain ecosystems and make it easier for developers to create and deploy smart contracts.
“We believe that Pact is the future of smart contracts,” said Stuart Popejoy, founder and CEO of Kadena. “It’s the first human-readable language that allows developers to write smart contracts with formal verification, which means that they can be proven to be correct before they’re deployed.”
Formal verification is a mathematical technique that can be used to prove the correctness of algorithms. By using formal verification, Kadena believes that Pact can help to reduce the risk of smart contract bugs and vulnerabilities.
Kadena’s blockchain platform went live on November 4, 2019. The platform weaves together 10 proof-of-work blockchains running concurrently, with shared Merkle roots that allow data to be shared across different networks.
Kadena has raised a total of $32 million in funding to date. The company’s investors include Fidelity Investments, Devonshire Investors, Multicoin Capital, Asimov Investments, SV Angel, and Sig.
**Related Articles:**
* [What is Kadena?](https://www.coindesk.com/what-is-kadena)
* [Kadena Launches Its Blockchain Platform With a $20 Million Token Sale](https://www.coindesk.com/kadena-launches-blockchain-platform-with-20m-token-sale)
* [Kadena’s Consensus Mechanism: Proof of Work Sharding](https://www.coindesk.com/kadenas-consensus-mechanism-proof-of-work-sharding)
