Content
@
0 reply
0 recast
0 reaction
Papajams
@papa
@devcon - Code in any language (write smart contracts) for any blockchain - K framework built in nasa - avoid compilers - mathematical proofs + zk proofs - comparable or faster performance/speed - proof checker via zkVM - support three languages currently - semantic approach Need to rewatch. Founder ðŸ§
0 reply
0 recast
4 reactions