Blockchain Scotland Meetup
Welcome to the Monthly Blockchain Scotland Meetup at the Bayes Centre in Edinburgh. The event takes place at the ground floor in the Bayes Theorem room.
17.00 - 17.30
Arrivals & Networking
17.30 - 17.35
Welcome from the host
17.35 - 17.55 "Protecting Web3: an Introduction to the CryptoCurrency Security Standard (CCSS)" by S. Dirk Anderson, Chair CCSS Guidance Committee & Founder of Imagine Crypto, LLC
Founded in 2019 the CryptoCurrency Security Standard (CCSS) is the original framework focused specifically on key management and related controls for working with blockchains and digital assets. We will review the CCSS, focusing on its objectives and the critical aspects and controls it defines as well as the community driven process by which this open standard is managed. This includes a look at major updates and addition to version 9 effective this year including enhanced guidance for smart contracts, expanded requirements for maintaining a comprehensive key inventory, and increased requirements for monitoring and logging activities.
17.55 - 18.10
Q&A
18.10 - 18.30 "Formally verifying the FRI protocol in Lean: An ArkLib case study" by Julian Sutherland, Head of Formal Verification, Nethermind
The Ethereum Foundation has funded an effort, ArkLib (https://github.com/Verified-zkEVM/ArkLib), to formally verify SNARKs. As part of this effort, and driven by the pervasiveness of interactive oracle proofs of proximity (IOPPs) in the landscape of modern verifiable computation, we have formalised the FRI protocol in the Lean proof assistant and produced a blueprint to prove batched soundness of this formalisation. This comprehensive formal specification of FRI will then be used to create a formal specification of the non-interactive FRI protocol, providing a rigorous standard against which practical implementations could be formally verified.
In this presentation we will give a short overview of ArkLib and our FRI formalisation.
18.30 - 18.45
Q&A
18.45 - 19.05 Break with refreshments
19.05 - 19.25 Talk by Harry Pearce Gould, Stand with Crypto UK
19.25 - 19.40
Q&A
19.40 Introductions + Announcements
20.00 Pizza & drinks
(incl. vegan options)
Networking and drinks until 9.30 pm in Bayes
21.30 - 23.00 Networking in the Pear Tree
Drinks and networking in the Pear Tree until 11 p.m.
At the pub they are offer drinks and dinner (until 10 pm).
Please join us to the Pear Tree where the discussions will continue.
Join Blockchain Scotland as a member here (https://www.blockchainscotland.xyz/membership ) to enhance your career or to enjoy many premium benefits that will help your business grow.