blog post image
26 Dec

Smart contracts for new entrepreneurs

Internet of agreements conference presentation by Stephen Diehl

Read More
blog post image
08 Dec

Verifiable computing

Verifying computation by potentially un-trusted parties

Verifiable computing is the offloading of computation of some function(s) to another potentially un-trusted party while maintaining that the computation was done correctly. It enables the verification of correctness of a program’s execution on public and private inputs. There are two suitable situations for verifiable computation:

Read More