Repositories list

• reports

  Public
  Content for Electisec Reports Site

  securityreportsweb3+ 2ethereum-securityethereum-audits

  TypeScript

  •6•27•0•0•Updated Jan 15, 2025Jan 15, 2025

• blog-site

  Public
  TypeScript

  •2•1•0•1•Updated Jan 15, 2025Jan 15, 2025

• .github

  Public
  About Electisec

  0•2•0•0•Updated Dec 30, 2024Dec 30, 2024

• reports-pdf

  Public
  0•1•0•0•Updated Dec 30, 2024Dec 30, 2024

• website

  Public
  TypeScript

  •0•1•0•0•Updated Dec 27, 2024Dec 27, 2024

• summa-audit-report

  Public
  Security Review of Summa Solvency Protocol

  cryptographyzk-snarksproof-of-solvency

  2•1•0•0•Updated Dec 10, 2024Dec 10, 2024

• defi-fork-bugs

  Public
  Bugs in commonly forked DeFi protocols

  42•452•0•0•Updated Nov 25, 2024Nov 25, 2024

• summa-solvency

  Public
  Monorepo for Summa Proof of Solvency Protocol

  Rust

  •

  Apache License 2.0

  •35•0•17•4•Updated Jun 21, 2024Jun 21, 2024

• vyper-interface-scanner

  Public
  Automatically check for incorrect interface definitions in vyper contracts

  securityvyper

  Python

  •2•7•0•0•Updated Apr 29, 2024Apr 29, 2024

• fellows-report-template

  Public template
  Empty template for fellows to use to document findings

  Apache License 2.0

  •1•0•0•0•Updated Apr 19, 2024Apr 19, 2024

• summa-solvency-diffie

  Public
  Rust

  •

  Apache License 2.0

  •0•0•12•4•Updated Apr 5, 2024Apr 5, 2024

• summa-solvency-schneier

  Public
  Rust

  •

  Apache License 2.0

  •0•0•12•4•Updated Apr 5, 2024Apr 5, 2024

• eth-lock

  Public
  yAcademy Fellowship Staking Contract

  Solidity

  •0•0•0•0•Updated Feb 27, 2024Feb 27, 2024

• summa-solvency-Turing

  Public
  Rust

  •

  Apache License 2.0

  •0•0•13•1•Updated Feb 20, 2024Feb 20, 2024

• Solidity-Proxy-Playground

  Public
  The good, the bad, and the ugly of proxy implementations

  Solidity

  •29•103•0•0•Updated Jan 19, 2024Jan 19, 2024

• RLN-audit-report

  Public
  6•3•10•0•Updated Oct 5, 2023Oct 5, 2023

• spartan-ecdsa-audit-report

  Public
  Fellows submit their reports as issues in this repo

  2•0•11•0•Updated Oct 4, 2023Oct 4, 2023

• Linear-rate-curve-plotter

  Public
  Python

  •0•1•0•0•Updated Jul 30, 2023Jul 30, 2023

• spartan-ecdsa

  Public
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

  Rust

  •29•2•0•3•Updated Jun 27, 2023Jun 27, 2023

• circom-rln

  Public
  Rate-Limiting Nullifier circuits in Circom

  TypeScript

  •

  Apache License 2.0

  •12•0•0•1•Updated Jun 14, 2023Jun 14, 2023

• rln-contracts

  Public
  Foundry project for the RLN

  Solidity

  •

  Apache License 2.0

  •5•0•0•0•Updated Jun 12, 2023Jun 12, 2023

• tokenized-strategy

  Public
  Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation

  Solidity

  •

  GNU Affero General Public License v3.0

  •48•0•0•0•Updated Jun 6, 2023Jun 6, 2023

• yearn-vaults-v3

  Public
  Python

  •

  GNU Affero General Public License v3.0

  •40•0•0•0•Updated Jun 5, 2023Jun 5, 2023

• report-style-guide

  Public
  Guide to formatting reports

  Apache License 2.0

  •5•6•0•0•Updated May 31, 2023May 31, 2023

• eth-lock-block5

  Public
  yAcademy Fellowship Staking Contract

  Solidity

  •0•0•0•0•Updated Apr 2, 2023Apr 2, 2023

• web3-security-talks

  Public
  Novel and informative web3 security talks

  Apache License 2.0

  •2•18•0•0•Updated Jan 21, 2023Jan 21, 2023

• CommonWeb3SecurityIssues

  Public
  Common security findings in smart contracts

  Apache License 2.0

  •13•119•0•0•Updated Dec 16, 2022Dec 16, 2022

• openzeppelin-contracts-upgradeable-4.3.1

  Public
  Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.

  Solidity

  •

  MIT License

  •442•0•0•0•Updated Sep 16, 2022Sep 16, 2022

• bunni

  Public
  ERC-20 LP tokens for Uniswap V3

  Solidity

  •22•0•0•0•Updated Sep 7, 2022Sep 7, 2022

• veYFI

  Public
  Python

  •37•0•0•0•Updated Apr 15, 2022Apr 15, 2022