Skip to content

@blockchain-audit Blockchain Audit

Change the repository type filter

All

    Repositories list

    61 repositories

    • chatbot-ui

      Public
      Come join the best place on the internet to learn AI skills. Use code "chatbotui" for an extra 20% off.
      TypeScript
      •
      MIT License
      •8.3k•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • chat-ui

      Public
      Open source codebase powering the HuggingChat app
      TypeScript
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • internal-mechanisms-fv

      Public
      Internal Mechanisms of Formal Verification - Meetup - Set 2024
      Dafny
      •0•0•0•0•Updated Sep 2, 2024Sep 2, 2024

    • GlimpseOfLean

      Public
      An introduction to theorem proving in Lean for the impatient.
      Lean
      •
      Apache License 2.0
      •58•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • size-solidity

      Public
      Size is a credit marketplace with unified liquidity across maturities
      Solidity
      •
      MIT License
      •4•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • mlfz

      Public
      An educational machine learning library.
      Python
      •
      MIT License
      •20•0•0•0•Updated Jul 14, 2024Jul 14, 2024

    • lean4game-logic

      Public
      Make/Encode some basic logic puzzles
      Lean
      •
      MIT License
      •10•0•0•0•Updated Jul 10, 2024Jul 10, 2024

    • liquity-ui

      Public
      0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

    • liquity-contracts

      Public
      Liquity contracts annotated [to port to cairo]
      Solidity
      •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

    • interface-poc

      Public
      Architecture of module, component and contract communication
      Cairo
      •2•0•0•0•Updated Jul 1, 2024Jul 1, 2024

    • lamr

      Public
      Logic and Mechanized Reasoning
      Lean
      •21•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • labs

      Public
      Our creative space
      Solidity
      •
      Other
      •39•1•34•12•Updated Jun 27, 2024Jun 27, 2024

    • recap-protocol

      Public
      Rewrite of Cap Protocol using Function Requirements-Effects-Interactions + Protocol Invariants Pattern
      Dafny
      •0•0•23•3•Updated Jun 24, 2024Jun 24, 2024

    • Examples

      Public
      An index repository with submodules for different examples of Certora projects
      Solidity
      •38•0•0•0•Updated Jun 23, 2024Jun 23, 2024

    • blockchain_go

      Public
      A simplified blockchain implementation in Golang
      Go
      •1.2k•0•0•0•Updated Jun 20, 2024Jun 20, 2024

    • chatgpt-cli

      Public
      ChatGPT CLI is an advanced command-line interface for ChatGPT models via OpenAI and Azure, offering streaming, query mode, and history tracking for seamless, context-aware conversations. Ideal for both users and developers, it provides advanced configuration and easy setup options to ensure a tailored conversational experience with the GPT model.
      Go
      •
      MIT License
      •42•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • DeFiVulnLabs

      Public
      To learn common smart contract vulnerabilities using Foundry!
      Solidity
      •288•0•0•0•Updated Jun 9, 2024Jun 9, 2024

    • wasm-cairo

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 6, 2024Jun 6, 2024

    • kontrol

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •9•0•0•0•Updated Jun 1, 2024Jun 1, 2024

    • kakarot

      Public
      Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
      Cairo
      •
      MIT License
      •325•0•0•0•Updated May 28, 2024May 28, 2024

    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      •
      Apache License 2.0
      •496•0•0•0•Updated May 28, 2024May 28, 2024

    • formal-proofs

      Public
      Lean
      •
      Apache License 2.0
      •13•0•0•0•Updated May 24, 2024May 24, 2024

    • risc0-foundry-template

      Public
      Template for integrating RISC Zero and Ethereum using Foundry and Bonsai
      Rust
      •66•0•0•0•Updated May 17, 2024May 17, 2024

    • defi-hack-labs

      Public
      Reproduce DeFi hacked incidents using Foundry.
      Solidity
      •1.2k•0•0•0•Updated May 15, 2024May 15, 2024

    • smart-contract-vulnerabilities

      Public
      A collection of smart contract vulnerabilities along with prevention methods
      276•0•0•0•Updated May 9, 2024May 9, 2024

    • evm-dis

      Public
      An EVM bytecode disassembler/assembler
      Dafny
      •
      Apache License 2.0
      •6•0•0•0•Updated May 2, 2024May 2, 2024

    • uniswapv3-book

      Public
      Uniswap V3 Development Book
      JavaScript
      •141•0•0•0•Updated Apr 28, 2024Apr 28, 2024

    • Web3-Security-Library

      Public
      Information about web3 security and programming tutorials/tools
      298•0•0•0•Updated Apr 22, 2024Apr 22, 2024

    • Scaffold-Eth-2-BuildBear

      Public template
      Example projects under the scaffold Eth2
      TypeScript
      •
      MIT License
      •950•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • uniswapv3-code

      Public
      Uniswap V3 clone built to learn smart-contracts development in Solidity
      Solidity
      •
      Other
      •141•0•0•0•Updated Apr 4, 2024Apr 4, 2024