Blog > 2017
A Proof-of-Stake lecture at Oxford university
16 February 2017 3 mins read
A Proof-of-Stake lecture at Oxford university - Input Output
Mathematicians with a curiosity about the algorithms behind blockchain came to hear Aggelos Kiayias speak at Oxford university’s Mathematical Institute on Wednesday. Professor Kiayias, Chief Scientist at IOHK, had been invited to the university to give a talk on his work on Ouroboros, a provably secure Proof-of-Stake algorithm for blockchain.
It the first time such a…
Winter School on blockchain
The year got off to an invigorating start for IOHK when a team of its researchers arrived in a chilly Shanghai for the first ever Winter School on cryptocurrency and blockchain technologies.
The main hall at the university’s technology building was packed for the three-day event, with a cast of renowned cryptographers on the stage, including IOHK chief scientist Aggelos Kiayias. Professor Kiayias presented a double session on his work on proving the security of blockchain protocols. Jonathan Katz from the University of Maryland spoke on game theory, as…
Smart contracts will use code to reshape law
20 January 2017 2 mins read
On a frosty Friday morning in Switzerland’s commercial centre of Zurich, an audience arrived early at the university to learn about the emerging field of smart contracts in a presentation given by Charles Hoskinson. A completely new way of quantifying concepts like trust, reputation and ambiguity, smart contracts are a digital legal system – a computer protocol that facilitates…
Recent posts
Input | Output chief scientist receives prestigious Lovelace computing award by Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections by Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples by James Chapman
26 November 2024