Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

A curated list of awesome Mojo 🔥 frameworks, libraries, software and resources

A library of blockchain security resources for various categories in blockchain.

OpenVINO™ is an open-source toolkit for optimizing and deploying AI inference

An MLIR-based toolchain for AMD AI Engine-enabled devices.

A machine learning compiler for GPUs, CPUs, and ML accelerators

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 con…

Observations and tips checklist for auditing protocols on multiple chains 🧐

Geth-in-SGX provides an example of running go-ethereum in SGX

🍋 An open dataset containing smart contract audit issues from various sources.

Ethereum Virtual Machine written in rust that is fast and simple to use

Verilog Ethernet components for FPGA implementation

A performant, 100% open-source, contributor-friendly zkVM.

Static smart contract code 4naly3er

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

A curated list of awesome ZK resources, libraries, tools and more.

This repository provides the code and model checkpoints of the research paper: Scalable Pre-training of Large Autoregressive Image Models

This repository contains Zk learning resources

These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.

Collection of security reviews of ZK Protocols

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

A curated list of adversarial attacks and defenses papers on graph-structured data.