Entries tagged Video

Entries tagged Video


VCIA Captive Insurance Annual Conference

Adjoint Co-Founder & CEO, Havell Rodrigues, speaks about blockchain and captive insurance

VCIA's first Annual Conference was held in 1985, in the early years of Vermont's captive industry. Less than a dozen people attended! Since that time, the conference has grown steadily and flourished into a vibrant, energetic event attracting the industry's very best and brightest year after year. The VCIA Annual Conference now proudly…

 - Stephen Diehl, CTO

Adjoint CTO Gives Keynote on Compiler Design

Keynote Speech at ZuriHac 2018 by Stephen Diehl

Beginning of June 2018, theZürich Friends of Haskell association will organize ZuriHac 2018, a three day Haskell Hackathon hosted at the HSR Hochschule für Technik Rapperswil. This is the seventh Haskell Hackathon organized in Zürich and and the second one which is hosted at the HSR. A fantastic venue located right at lake Z&uum…

 - Stephen Diehl, CTO

Smart Contracts for New Entrepreneurs

Internet of Agreements Conference Presentation by Stephen Diehl

The CTO Adjoint gave a technical talk about formal verification of smart contracts. Adjoint offers a smart contract platform and distributed ledger solutions designed to improve efficiency, security, and compliance in modern finance. Stephen defines smart contracts as executable programs that run on top of an immutable distributed database whose in…

 - Anthony Sheldon presenting on Verifiable Computing

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: Offloadi…

 - Thomas Dietert, Software Engineer

Introduction to Cryptocurrencies in Haskell

Boston Haskell Presentation by Thomas Dietert

Thomas Dietert gives an overview of various topics underlying cryptocurrencies and demonstrates his personal cryptocurrency, nanocoin, written in Haskell.

 - Stephen Diehl, CTO

Modern Cryptography with Haskell

HSR Presentation by Stephen Diehl

HSR Hochschule für Technik Rapperswil Stephen Diehl gave his keynote on elliptic curve crypto in Haskell. This talk had a crash course on a bit of abstract algebra/elliptic curves, and the rest of the talk was on using Haskell to establish trust between two parties using commitment schemes, zero knowledge proofs, verifiable computation, etc. …