Lucas Martin Calderon's repositories
CTFs-for-Smart-Contract-Security-Bootcamp
Official CTF challenges to upskill proficient blockchain developers with the latest offensive security techniques, targeting large corporations
4naly3er
Static smart contract code 4naly3er
awesome-flipperzero
🐬 A collection of awesome resources for the Flipper Zero device.
awesome-foundry
A curated list of awesome of the Foundry development framework.
awesome-mojo
A curated list of awesome Mojo 🔥 frameworks, libraries, software and resources
awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
Blockchain-Security-Library
A library of blockchain security resources for various categories in blockchain.
geth-sgx-gramine
Geth-in-SGX provides an example of running go-ethereum in SGX
graph-adversarial-learning-literature
A curated list of adversarial attacks and defenses papers on graph-structured data.
huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
ml-aim
This repository provides the code and model checkpoints of the research paper: Scalable Pre-training of Large Autoregressive Image Models
mlir-aie
An MLIR-based toolchain for AMD AI Engine-enabled devices.
openvino
OpenVINO™ is an open-source toolkit for optimizing and deploying AI inference
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
securify2
Securify v2.0
Smart-Contract-Auditor-Tools-and-Techniques
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts
smart-contract-vulndb
🍋 An open dataset containing smart contract audit issues from various sources.
sp1
A performant, 100% open-source, contributor-friendly zkVM.
verilog-ethernet
Verilog Ethernet components for FPGA implementation
xla
A machine learning compiler for GPUs, CPUs, and ML accelerators
Zero-Knowledge-Proofs-Learning-Resources
This repository contains Zk learning resources
zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
zk-security-reviews
Collection of security reviews of ZK Protocols