Solc-verify, a source-level formal verification tool for Solidity smart contracts by Akos Hajdu
30:14
EIP 1559 Implementers' Call #3
1:03:28
Beyond CryptoKitties: building tradeable, interoperable ERC721 digital assets by Devin Finzer
40:53
Certora: Keeping your code secure forever: Move Fast and Break Nothing by Mooly Sagiv
Mooly Sagiv
27:01
PANEL: Mixers by Wei Jie Koh, Julien Niset, Roman Storm, Steve Guo, Anna Rose
Julien Niset
40:45
Remix New Features & Plugin Governance
1:30:02
Eth2.0 call #39
51:21
Ethereum Core Devs Meeting #76 [2019-11-29]
1:10:52
Demystifying libp2p Gossipsub: A Scalable and Extensible p2p Gossip Protocol by Raúl Kripalani
25:31
Ethereum.org Community Call #2 - May 12, 2020
28:20
Ethereum.org Community Call #1 - March 25, 2020
57:26
Eth2 Networking Call 4 (2020/3/25)
1:17:35
Zerochain: An Efficient and Account-Based Anonymous Payment Protocol by Osuke Sudo
22:52
Introduction to Yul+ by Nick Dodson
Nick Dodson
37:50
Scalability with zkSNARKS by Jordi Baylina
Jordi Baylina
25:06
Eth 2.0 Light Clients: How Light is Light? by Cayman Nava
Cayman Nava
21:48
Mutation Testing with Vertigo by Joran Honig
Joran Honig
26:16
Ethereum Core Devs Meeting #98 [2020-10-16]
1:31:44
Mathias Baumann & Erik Kundt - what's new in Solidity
Erik Kundt
27:50
Open Source Lira Community Coding Workshop by Omri Ross, Peter Emil Jensen
1:11:32
EIP-1559 Implementers' Call #2
1:12:02
An Introduction to Privacy and Anonymous Communication: A Hands-On Workshop
58:15
A Journey to the Center of the Eth: How OpenZeppelin Aims to improve UX and DX in Ethereum
20:29
EIP 1559 Implementers' Call #5
56:58
Designing before building - Find out if you're building the right thing for users before...
23:56
How Two Microsoft Engineers Build Blockchain Apps on Ethereum Networks by David Burela, Eric Maino
57:36
Scaling Many to Many Payments with Probabilistic Micropayments by Doug Petkanics, Yondon Fu
Doug Petkanics
22:05
Steffen Kux - INCUBED
Steffen Kux
29:34
Hodor: Open Source zkSNARKS Library by Matter Labs
1:20:31
Optimize Solidity/Yul/Ewasm bytecode via LLVM framework by Hung Ying Tai
32:58
Make the Tests Feel the User's Pain: E2E Testing for dApps by Carlos Gonzalez
34:52
The Future of Privacy Preserving Smart Contracts by Ravital Solomon, John Pacific
22:43
libp2p Ecosystem: What’s Up and What’s Next by Raúl Kripalani
23:21
dType and ChainLens by Loredana Cirstea
22:17
EIP 1559 Implementers' Call #4
1:50:33
Specifying & verifying Solidity contracts by Martin Lundfall
27:46
Detecting DoS vulnerabilities caused by gas limits with fuzzing by Sebastian Banescu
22:09
Lightning Fast Light Clients for the Future of Ethereum by Zsolt Felföldi
20:39
Sina Mahmoodi - Stateless Ethereum
23:34
Off-Chain Trusted Compute Overlay testnet for Blockchain Privacy, Scalability and Adaptability
1:39:09
Visualization of code bases with the Solidity extension for VSCode by Gonçalo Sá and Martin Ortner
Gonçalo Sá
26:56
Tracking mapping keys with the Truffle Debugger by Harry Altman
20:38
Towards Better Debugging: Data Format Design Session by G. Nicholas D'Andrea, Harry Altman
27:01
ZoKrates - Privacy for dApps by Jacob Eberhardt, Thibaut Schaeffer
22:54
(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks by Ariah Klages-Mundt
Ariah Klages-Mundt
20:31
Dmitry Khovratovich - Factoring Integers
Dmitry Khovratovich
1:30:16
ethers.js: A Complete, Tiny and Simple Ethereum Library in JavaScript by Richard Moore
Richard Moore
24:52
Privacy by design in a world with universal SNARKs by Zachary Williamson
24:47
Vitalik Buterin - Exploring fully homomorphic encryption (FHE)
Vitalik Buterin
1:42:02
Building On Uniswap by Daniel Robinson, Hayden Adams
22:48
Verify all the sources by Ligi
23:39
Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin
20:23
Network Level Privacy With HOPR: Fixing Ethereum's Achilles Heel by Sebastian Buergel
Sebastian Buergel
22:22