Archives

Medjai: Verifying ZK Smart Contracts

Medjai is a tool for formally verifying smart contracts in Cairo. Unlike traditional testing, formal verification aims to mathematically prove that a given program is correct. Using Medjai, developers can prove their ZK smart contracts l bug-free.

SPEAKER

Jacob Van Geffen

EVENT

EthCC[6]

Date

7/18/2023

CATEGORY

Security

TYPE

Talk

LANGUAGE

EN

Security videos

ethcc6
Journey into building security tools for Cairo

EthCC[6]

ethcc6
WebAuthn Optimization: optimizing ECC sec256r1

EthCC[6]

ethcc6
MPC vs Account Abstraction: Better Together?

EthCC[6]

ethcc6
More Security for Mass Adoption

EthCC[6]

ethcc6
Building secure distributed Webhooks

EthCC[6]

ethcc6
How to Make bridges Fast & Furious (and survive)?

EthCC[6]

ethcc6
Practical security vs theoretical security

EthCC[6]

ethcc6
Ensuring Security : Formal Verification in Account abstraction

EthCC[6]

ethcc6
Lessons from a seasoned web3 security firm

EthCC[6]

ethcc6
Journey into building security tools for Cairo

EthCC[6]

ethcc6
WebAuthn Optimization: optimizing ECC sec256r1

EthCC[6]

ethcc6
MPC vs Account Abstraction: Better Together?

EthCC[6]

ethcc6
More Security for Mass Adoption

EthCC[6]

ethcc6
Building secure distributed Webhooks

EthCC[6]

ethcc6
How to Make bridges Fast & Furious (and survive)?

EthCC[6]

ethcc6
Practical security vs theoretical security

EthCC[6]

ethcc6
Ensuring Security : Formal Verification in Account abstraction

EthCC[6]

ethcc6
Lessons from a seasoned web3 security firm

EthCC[6]

ethcc6
Building secure contracts: Fuzzing like a pro

EthCC[6]

ethcc6
"Faster,Better,Stronger,Safer" BLS + ZKPs = Better Web3 for all

EthCC[6]

ethcc6
Auditing ink! with OpenZeppelin

EthCC[6]

ethcc6
Top Hacks since EthCC ’22: what did we learn?

EthCC[6]

ethcc6
You got Hacked, now What?

EthCC[6]

ethcc6
How to understand a hack

EthCC[6]

ethcc6
Auditing zkEVM and it's attack surfaces

EthCC[6]

ethcc6
CVL from ERC20 to Read Only Reentrancy

EthCC[6]

ethcc6
zkEVM audit: Soundness & Completeness

EthCC[6]

ethcc6
Smart Firewalls: The new dApp defenders

EthCC[6]

ethcc6
Building MPC Wallets

EthCC[6]

ethcc6
Research on EIP Security Specifications

EthCC[6]

ethcc6
Incident response at OpenZeppelin Contracts and how to be in the loop

EthCC[6]

ethcc6
Security doesn’t stop at code complete

EthCC[6]

ethcc6
Threshold Signature for Mass: Benchmarking & Usability Study

EthCC[6]

ethcc6
Risk mitigation strategies for node validators

EthCC[6]

ethcc6
Secure your Dapp or join the REKT database

EthCC[6]

ethcc6
Securing Your Self Custody

EthCC[6]

ethcc5
Auctions, coins and security

EthCC[5]

ethcc5
Blockchain Security/Privacy: dont keep it too simple!

EthCC[5]

ethcc5
Security monitoring for on-chain attacks

EthCC[5]

ethcc5
The Security Trilemma

EthCC[5]

ethcc5
Secure DeFi smart contract development on Ethereum

EthCC[5]

ethcc5
State of the Art of Ethereum Smart Contract Fuzzing in 2022

EthCC[5]

ethcc5
Private smart contracts using homomorphic encryption

EthCC[5]

ethcc5
Automated Vulnerability Fixing in (DeFi) Smart Contracts

EthCC[5]

ethcc5
Personal On-line HSM for Ethereum assets

EthCC[5]

ethcc5
Cairo Security 101 - Let's have a look at Cairo attack vectors

EthCC[5]

ethcc5
Hardening Blockchain Security with Formal Methods

EthCC[5]

ethcc5
Never Send To Know For Whom The Bell Tolls

EthCC[5]

ethcc5
Move Fast and Break Nothing

EthCC[5]

ethcc4
Lessons learned from over 300 security audits

EthCC[4]

ethcc4
Why Swarm is probably our best chance for a fair and re-decentralised internet

EthCC[4]

ethcc4
The streets of Dark Forest are paved with gold

EthCC[4]

ethcc4
From a Hackathon to your first Code Audit

EthCC[4]

ethcc4
Becoming the most secure crypto organisation

EthCC[4]

ethcc4
KVaC: Key-Value Commitments for Blockchains and Beyond

EthCC[4]

ethcc4
CryptoTerminal for Trusted Ethereum Transactions

EthCC[4]

ethcc4
Fully Automated Formal Verification

EthCC[4]

ethcc4
Combating Frontrunning and Malicious MEV Using Threshold Cryptography

EthCC[4]

ethcc4
Threshold ECDSA on a tiny secure element

EthCC[4]

ethcc4
Exploiting and Securing DeFi Projects with Formal Methods

EthCC[4]

ethcc4
Securing DeFi - A sneak peek in the world of Ledger Nano Ethereum plugins

EthCC[4]

ethcc4
Oracles from the Ground Truth to Market Manipulation

EthCC[4]

ERC20 Misbehaviors

EthCC[3]

Ethereum Flavored Packages

EthCC[3]

Sharded Security Model of Polkadot

EthCC[3]

Ether Wars Exploits Counter Exploits and Honeypots

EthCC[3]

The case against using TEEs in your crypto project

EthCC[3]

How we think about storing crypto is broken

EthCC[3]

Securely Connecting Smart Contracts to Off-chain Data and Events

EthCC[3]

Fuzzing the Solidity compiler

EthCC[3]

Transparent Dishonesty: frontrunning attacks on Blockchain

EthCC[3]

Perpetual Powers of Tau on SGX: a community zk- SNARKs Trusted Setup in TEE

EthCC[3]

Preventing Disaster

EthCC[3]

The Nuts, Bolts and Impossibility of Trustless Cross-Chain Communication

EthCC[3]

Perpetual Powers of Tau on SGX: a community zk- SNARKs Trusted Setup in TEE

EthCC[3]

Is it still immutable in the context on CREATE2

EthCC[3]

Mutation Testing for Smart Contracts

EthCC[3]

Securing Decentralized Exchanges with Hardware Wallets

EthCC[1]

Decentralised Key Management

EthCC[1]

Mining Pools and miner attacks

EthCC[1]

Building Decentralized Cloud Computing with iExec

EthCC[2]

Upgrade Driven Development with ZeppelinOS

EthCC[2]

Decentralized Oracles for the Next Generation of Smart Contracts

EthCC[2]

The Future of Stablecoins and Their Impact on the Crypto Ecosystem

EthCC[2]

Enabling Scalable Blockchain Solutions with Plasma and Rollups

EthCC[2]

Decentralized Lending: Challenges and Opportunities

EthCC[2]

Blockchain for Social Impact: Real-World Applications and Case Studies

EthCC[2]

Privacy-Preserving Mechanisms in Blockchain Technology

EthCC[2]

The Role of Governance in Blockchain Networks

EthCC[2]

Smart Contract Security: Techniques and Tools

EthCC[2]

Automated Verification of Smart Contracts: Current State and Future Directions

EthCC[2]

Interoperability Solutions for Blockchain Networks

EthCC[2]

Zero-Knowledge Proofs: Applications in Blockchain Technology

EthCC[2]

Blockchain for Supply Chain Management: Opportunities and Challenges

EthCC[2]

Decentralized Marketplaces: Building Trust and Reducing Friction

EthCC[2]

Building Secure Smart Contract Wallets with Gnosis Safe

EthCC[2]

ethcc7
Consensus Endgame: Ecosystem For Security & Decentralisation

EthCC[7]

ethcc7
Predicting Risk - Leveraging AI to Analyze Smart Contracts

EthCC[7]

ethcc7
Improving Node Operation Excellence with D.U.C.K.

EthCC[7]

ethcc7
Clear Sign All The Things

EthCC[7]

ethcc7
A security-in-depth approach to verifiable off-chain computations

EthCC[7]

ethcc7
OAuth 2.0 is Dead (Exploring Next-Gen Access Management)

EthCC[7]

ethcc7
Temporary storage low gas reentrancy

EthCC[7]

ethcc7
dApp Security: Creating a Trusted Web3 Space

EthCC[7]

ethcc7
Enough Hacks: A Framework for Building Secure Protocols

EthCC[7]

ethcc7
Formal Verification of Smart Contracts in Cairo

EthCC[7]

ethcc7
Ensuring the Sanity of Deployed Smart Contracts

EthCC[7]

ethcc7
On the importance of the Security Alliance

EthCC[7]

ethcc7
Embracing a Culture of Continuous Security

EthCC[7]

ethcc7
Developing Secure Multi-Provers with SGX

EthCC[7]

ethcc7
Preventing Unknown Attacks in DeFi

EthCC[7]

ethcc7
A Gentle Introduction To End To End Encrypted Messaging

EthCC[7]

ethcc7
Curvance: The Fuzzer's Edge

EthCC[7]

ethcc7
Secrets of Uniswap V4: A Deep Dive into Hooks Security

EthCC[7]

ethcc7
Demystifying Decentralized Confidential Computing #DeCC

EthCC[7]

ethcc7
Getting started with Kontrol: a formal verification tool

EthCC[7]

ethcc7
Is Privacy Gone? What Blockchain Data Reveals

EthCC[7]

ethcc7
North Korea Wages De Facto War on Everyone Here

EthCC[7]

ethcc7
How to securely configure and use Telegram & Twitter

EthCC[7]

ethcc7
How Did I Get Scammed And What Can I Do About It?

EthCC[7]