smartbugs/smartbugs-results: This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented and discussed in Durieux et al. (ICSE 2020)
github.com/smartbugs/smartbugs-results
Aug 31, 2023
1
How do you get a GPU machine type in Codespaces? · community · Discussion #45402
github.com/orgs/community/discussions/45402
Aug 30, 2023
1
leonardoalt/fusion: An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
github.com/leonardoalt/fusion
Aug 30, 2023
1
andrewmilson/sandstorm: Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
github.com/andrewmilson/sandstorm
Aug 28, 2023
1
zkp2p/zk-p2p: A trustless P2P fiat onramp powered by ZK proofs.
github.com/zkp2p/zk-p2p
Aug 28, 2023
1
MathisWellmann/lfest-rs: Leveraged Futures Exchange for Simulated Trading
github.com/MathisWellmann/lfest-rs/tree/master
Aug 19, 2023
1
purefinance/mmb: Trading bot implemented in Rust, with market making and strategy automation for any exchange or blockchain.
github.com/purefinance/mmb/tree/main
Aug 19, 2023
1
primitivefinance/portfolio: Portfolio is an automated market making protocol for implementing custom liquidity distribution strategies at the lowest cost possible.
github.com/primitivefinance/portfolio
Aug 19, 2023
11
cairoeth/arbx: ArbX is the first cross-chain arbitrage protocol to optimize price rates across decentralized exchanges across EVM chains.
github.com/cairoeth/arbx/tree/main
Aug 19, 2023
1
Miyamura80/ZKMicrophone: 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first attested microphone and used ZK-SNARKs to protect authenticity and privacy.
github.com/Miyamura80/ZKMicrophone
Aug 17, 2023
1
KinetexNetwork/ethglobal-paris
github.com/KinetexNetwork/ethglobal-paris
Aug 12, 2023
1
code-423n4/2023-08-gmx-fv
github.com/code-423n4/2023-08-gmx-fv/blob/main/contracts/oracle/Oracle.sol
Aug 12, 2023
code-423n4/2023-08-goodentry
github.com/code-423n4/2023-08-goodentry/blob/main/contracts/GeVault.sol
Aug 7, 2023
Laevitas - DERIBIT - Options Strategies Activity
app.laevitas.ch/btc/deribit/options/activity/strategies
Jul 30, 2023
Next.js 13 Full Stack tutorial 2023 | Routing, Data Fetching, Server Actions - YouTube
www.youtube.com/watch?v=t4fwWjXj_x8
Jul 18, 2023
1
lens protocol v2 - YouTube
www.youtube.com/results?search_query=lens+protocol+v2
Jul 18, 2023
1
Stani Kulechov - Introducing Lens Protocol V2 - YouTube
www.youtube.com/watch?v=5f87qH9Y7Pw
Jul 18, 2023
3
21 Sneaky Smart Contract Bugs | Do Not Miss These! - YouTube
www.youtube.com/watch?v=8fNNVQv4-oY
Jul 6, 2023
META Wide Iron Condor | Option Trades Today - YouTube
www.youtube.com/watch?v=7_Fq8je2UTw
Jun 9, 2023
2
Surf on Twitter
twitter.com/0xsurferboy/status/1663863017573081089
Jun 1, 2023
1
Code4rena
code4rena.com/contests/2023-05-chainlink-cross-chain-services-ccip-and-arm-network
May 27, 2023
2
Code4rena xETH - Versus Contest
code4rena.com/contests/2023-05-xeth-versus-contest
May 12, 2023
1
2023-05-venus/Comptroller.sol at main · code-423n4/2023-05-venus
github.com/code-423n4/2023-05-venus/blob/main/contracts/Comptroller.sol
May 9, 2023
Shea Ketsdever on Twitter
twitter.com/SheaKetsdever/status/1653497933382275080
May 3, 2023
1
2023-04-eigenlayer/Merkle.sol at main · code-423n4/2023-04-eigenlayer
github.com/code-423n4/2023-04-eigenlayer/blob/main/src/contracts/libraries/Merkle.sol
May 2, 2023
2023-04-eigenlayer/BeaconChainProofs.sol at main · code-423n4/2023-04-eigenlayer
github.com/code-423n4/2023-04-eigenlayer/blob/main/src/contracts/libraries/BeaconChainProofs.sol
May 2, 2023
1
StrategyManager.sol - 2023-04-eigenlayer [Codespaces] - Visual Studio Code
mim2516-cautious-space-happiness-ggrw5xjgj64cvwx6.github.dev/
Apr 29, 2023
Pendle Finance Brown Bag - YouTube
www.youtube.com/watch?v=OwQT3rdZzWI
Apr 19, 2023
1
DeFi 101 - Ponzinomic AntiDump Mechanics - YouTube
www.youtube.com/watch?v=RBIvVXRzRA0
Apr 11, 2023
1
How I Rolled This Iron Condor Out of A Loss | Anatomy of A Trade - YouTube
www.youtube.com/watch?v=pZmohHPhp1I
Apr 9, 2023
1
pyrometer/builtin_fns.rs at master · nascentxyz/pyrometer
github.com/nascentxyz/pyrometer/blob/master/src/builtin_fns.rs
Apr 9, 2023
(1) Computational Finance: Lecture 3/14 (Option Pricing and Simulation in Python) - YouTube
www.youtube.com/watch?v=MhmZaHWGWHc
Apr 7, 2023
1
What is a Broken Wing Butterfly? | Options Trading Concepts - YouTube
www.youtube.com/watch?v=sjCWOmn4OgA
Apr 3, 2023
11
The Tip5 Hash Function for Recursive STARKs - YouTube
www.youtube.com/watch?v=6kAKgt1UkJQ
Mar 31, 2023
PEFT - LoRA - 8bit Quantization: Fine-Tune your 7B LLM (T5, GPT, OPT, BLOOM, ..) on free COLAB GPU - YouTube
www.youtube.com/watch?v=A-a-l_sFtYM
Mar 30, 2023
Why Zero-Knowledge Proofs Are Critical to Ethereum’s Future - Ep. 473 - YouTube
www.youtube.com/watch?v=sqqi49pBt2A
Mar 30, 2023
KARL FRISTON - INTELLIGENCE 3.0 - YouTube
www.youtube.com/watch?v=V_VXOdf1NMw
Mar 30, 2023
1
Optimism's Bedrock Brown Bag - YouTube
www.youtube.com/watch?v=ecX5bXFyOdE
Mar 29, 2023
1
solmate/ERC1155.sol at main · transmissions11/solmate
github.com/transmissions11/solmate/blob/main/src/tokens/ERC1155.sol
Mar 23, 2023
Audit Hero
audit-hero.com/finding/search
Mar 22, 2023
Censorship-Resistance in On-Chain Auctions, Max Resnick (Rook) | MEV [re]search-athon - YouTube
www.youtube.com/watch?v=xlQI88oWxi4
Mar 22, 2023
ZKP MOOC Lecture 4: Interactive Proofs - YouTube
www.youtube.com/watch?v=4018OYyoAf8
Mar 22, 2023
1
Audit Hero
audit-hero.com/
Mar 21, 2023
Audit Hero
audit-hero.com/finding/latest
Mar 21, 2023
LiquidationUtils.sol - gmx-synthetics [Codespaces] - Visual Studio Code
idrees2516-literate-winner-67xwrprw6vjf5v47.github.dev/
Mar 19, 2023
Foundry Book
book.getfoundry.sh/tutorials/testing-eip712
Mar 19, 2023
1
chatgpt-google-summary-extension/fetch-sse.ts at main · sparticleinc/chatgpt-google-summary-extension
github.com/sparticleinc/chatgpt-google-summary-extension/blob/main/src/background/fetch-sse.ts
Mar 18, 2023
What is Y2K finance? Exploring insurance markets for depeg events - YouTube
www.youtube.com/watch?v=fveS21E9Acg
Mar 18, 2023
(6) Ethereum L2 Comparison | Optimistic Rollups vs zk-Rollups - YouTube
www.youtube.com/watch?v=eeEXZRQRvNM
Mar 18, 2023
1