zefram.eth
@boredGenius
Finally giving privacy to crypto users @FoglightPrivacy @cabaldotcooking
가입 July 2015
2.4K 팔로잉 중 26.2K 팬
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
더 보기
