Casio (@0xCasio) header
Casio (@0xCasio) profile picture

Casio

@0xCasio

Product Manager | prev: @stryke_xyz | former @arbitrum delegate. Interest in web3, wellness, consumer products and tennis Open for roles :)

Joined September 2021
  • Tweets4.3K
  • Following1.1K
  • Followers2.5K
Coming back to builder mode 🫡🫶🏼 I will try to be more active in this account
65
Introducing Tama, a dev toolchain for secure-by-construction EVM smart contracts Tama enables you to build provably secure apps in 3 steps: 1. Code: write the contract itself 2. Spec: define what correct behavior looks like 3. Prove: prove the code matches the specs
Image from zefram.eth (@boredGenius)
25
35
8
258
34,516

No more items