We're startup, focused on application of formal methods to security of smart contracts and other mathematical stuff like that.
pruvendo.com
Dubai, UAE