KWasm is a project for specifying Wasm in the K framework, much like the EVM was specified with KEVM. KEVM has been used extensively for verifying smart contracts, and as Ethereum transitions to Wasm, it's time to get ready to verify Ewasm contracts.
With KWasm complete, the new focus is embedding it into KEwasm and other blockchain execution interfaces. This talk is a quick introduction to the power of K, our roadmap and how you can use KWasm to start verifying Wasm code.
Creating an account on our site will allow you to customize your news stream and unlock additional functionalities!
The primary benefit of registring an account is that will give you the ability to customize your news feed and
select the sources from which your news are displayed.
In addition to this, registered users can
'Like' specific news items, thus showing their support and appreciation for the item
Comment on news items and rate comments
Propose new 'tags' on news items to improve searchability
The ability to engage in all of these actions is driven by a site-specific internal virtual currency
which we call Kreds. In order to encourage our users to use their moderation and
participation abilities responsibly, each action you perform will cost you a certain amount of Kreds.
You are automatically awarded a certain amount of Kreds every day and can earn Kreds by leaving comments
or propose tags which the community then approves through the on-site voting capabilities.
You have to be logged in to vote up news.
You don't have enough Kreds to execute this action.