Fixing the Web with the Global Blockchain Trust Machine
Explore blockchain's impact on web trust, from corporate trials to Ethereum's potential. Learn about challenges, use cases, and the technology's evolving role in reshaping digital infrastructure and transactions.
Security Vulnerabilities in ZK-SNARKs and Their Application in ZK-Rollups
Explore critical security vulnerabilities in zk SNARK systems and their implications for zk rollups, focusing on systematic analysis and potential mitigation strategies in blockchain scaling solutions.
Flash Loans: The Blessing or Curse of DeFi - Understanding Mechanics and Security in DeFi Ecosystems
Dive into the mechanics of flash loan attacks in DeFi, exploring vulnerabilities, real-world cases, and essential security strategies for protecting blockchain protocols and smart contracts.
Investigating Propagated Vulnerabilities from Ethereum to Layer-2 Blockchains
Explore how vulnerabilities propagate from Ethereum to Layer-2 blockchains, featuring BlockScope tool analysis and discovery of 15 zero-day vulnerabilities across BSC, Optimism, Base, and Mantle networks.
Security Tooling Space - Latest Developments and Innovations
Explore the latest developments and innovations in blockchain security tooling, focusing on emerging threats, defensive strategies, and cutting-edge solutions for smart contract protection.
What is OFA and Why Should You Care - Understanding Open Function Alliance
Discover the fundamentals of OFA (Orderly Financial Attestation) and its significance in blockchain technology through insights from imToken's expert presentation at ETHTaipei.
Vulnerability Management: Zero-Day, Today and Tomorrow
Dive into modern vulnerability management strategies, exploring zero-day threats and future security challenges in blockchain systems with insights from OpenZeppelin's expertise.
Threat Modeling for Complex Systems in Web3
Dive into advanced threat modeling techniques for Web3 systems, exploring security frameworks and risk assessment strategies for complex blockchain architectures.
The 4 Horsemen of Unsoundness in Object-Oriented Languages
Explore 4 subtle issues challenging OO verification: termination, leaky partial verification, ill-founded contracts, and reduction to primitive operations.
Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24
Explore scaling deductive verification for smart contracts using abstract interpretation. Learn about pointer analysis algorithms, program simplifications, and challenges in low-level code analysis.
Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Explore innovative payment systems using Haskell for type-safe, continuous money transfers. Learn about generalizing payments and implementing blockchain protocols with functional programming concepts.
Turning Smart Contracts into Indexers with Cross-Compilation in Rust
Explore cross-compilation techniques to transform smart contracts into indexers using Rust. Learn key concepts, blockchain basics, and practical applications with Aurora Engine.
Typesafe Client for Smart Contracts - JavaScript Implementation
Explore building typesafe JavaScript clients for smart contracts. Learn about Kadena, Pact language, and implementing subscription processes using blockchain technology.
Leveraging Blockchain for Secure and Immutable Firmware Updates
Explore blockchain-based secure firmware updates for IoT devices. Learn implementation strategies, smart contracts, and resilience against attacks through expert insights and a practical demo.
Weaving and Seaming Mocks in Ruby Testing - Techniques and Best Practices
Explore advanced mocking techniques in Ruby testing, including mock fixtures and contracts, to prevent false positives and ensure test reliability.
Tokenization Engine and Web3 Integration in Hyperledger Fabric
Explore tokenization engine and Web3 integration in Hyperledger Fabric, including use cases and examples of permissioned/public chain interoperability. Gain insights from Oracle's blockchain expert.
Debugging Hyperledger Fabric Chaincode with VS Code Extension
Simplify Hyperledger Fabric chaincode development with VS Code extension. Debug efficiently, automate local environment setup, and streamline deployment process for iterative coding.
Polygon ID: Decentralized Identity Leveraging ZK Proofs
Explore Polygon ID's decentralized identity system using ZK proofs. Learn about selective disclosure, identity management, and the interplay between blockchain technologies.
Pharma Chain: Blockchain-Based Drug Traceability System - Hyperledger Healthcare SIG
Explore blockchain-based drug traceability with Pharma Chain, presented by Soya Chandra C.S from Kerala Blockchain Academy.
Blockchain Roadmap and Its Future
Explore blockchain's evolution, applications, and future potential with insights from industry expert Kshitij Srivastava, covering key concepts and emerging trends in this transformative technology.
Better Code: Contracts in C++ - Lecture
Explore techniques for writing correct, maintainable C++ code using contracts. Learn to strengthen code quality, improve reviews, and build a more robust software future.