English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Smart contracts are crucial elements of decentralized technologies, but theyface significant obstacles to trustworthiness due to security bugs andtrapdoors. To address the core issue, we propose a technology that enablesprogrammers to focus on design-level properties rather than specific low-levelattack patterns. Our proposed technology, called Theorem-Carrying-Transaction(TCT), combines the benefits of runtime checking and symbolic proof. Under theTCT protocol, every transaction must carry a theorem that proves its adherenceto the safety properties in the invoked contracts, and the blockchain checksthe proof before executing the transaction. The unique design of TCT ensuresthat the theorems are provable and checkable in an efficient manner. We believethat TCT holds a great promise for enabling provably secure smart contracts inthe future. As such, we call for collaboration toward this vision.

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts