zefram.eth(@boredGenius):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

zefram.eth

@boredGenius

Finally giving privacy to crypto users @FoglightPrivacy @cabaldotcooking

加入 July 2015

2.4K 正在關注 26.2K 粉絲

zefram.eth@boredGenius

2026.05.06 01:01

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