×
Grow Open Source Bounties Hackathons Grants Quests Kudos

Gitcoin is a community of 39,102 amazing open source developers working remotely to build in Web3.

Rikard Hjort@hjorthjortWant to support the future of security? Faster smart contracts you can trust? Check out KWasm! We are making an executable Ewasm specification and using it for formal verification! Right now I'm sitting around doing a proof of an ERC20 in Wasm, which should be ready soon! https://gitcoin.co/grants/592/kewasm-and-kwasm πŸ’° Grants | KEwasm and KWasmWe are building KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0, written in the K framework. K tools blur the line between specification and implementation. T… https://gitcoin.co/grants/592/kewasm-and-kwasm