Propriétaire
lfglabs-dev
19 dépôts indexés · Voir sur GitHub
-
verity
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f...
Lean · 148 étoiles
-
app.starknet.id
Naming Service for Starknet
TypeScript · 61 étoiles
-
starknet.quest
The on-chain quest tool of Starknet
TypeScript · 39 étoiles
-
api.starknet.quest
starknet.quest rust backend
Rust · 10 étoiles
-
starknet.id
Presentation website of starknet.id
TypeScript · 7 étoiles
-
naming
Cairo implementation of the naming contract built for compiler version 2.3.0
Cairo · 4 étoiles
-
api.starknet.id
StarknetID API written in Rust.
Rust · 3 étoiles
-
ethereum-verification-benchmark
Benchmark for Verity-based smart contract verification research
Lean · 3 étoiles
-
starknetid.js
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID
TypeScript · 2 étoiles
-
mcserverjars.com
The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.
TypeScript · 2 étoiles
-
private-ethereum-assistant
A private LLM assistant for crafting ethereum transactions
TypeScript · 2 étoiles
-
ethbutton.com
The ethereum button: an app to promote the ethereum ecosystem and self custody
TypeScript · 1 étoile
-
auto_renew_bot
A rust bot that triggers the auto-renewals
Rust · 1 étoile
-
Cairo · 0 étoiles
-
affiliate.starknet.id
Affiliate space for stark domains
TypeScript · 0 étoiles
-
TypeScript · 0 étoiles
-
Python · 0 étoiles
-
utu_runes_lib
A cairo library for parsing Runestones
Cairo · 0 étoiles
-
TrustlessInference
Access any AI model, with cryptographic proof you got exactly what you asked for
TypeScript · 0 étoiles
Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date
-
Initialization transcription: contract creation and internal String helpers unsupported at 600014d5Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2465 ·
Les mainteneurs répondent en général sous 1 jour
-
bug
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
lfglabs-dev/verity#2439 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 45/100
lfglabs-dev/verity#2435 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 78/100
lfglabs-dev/verity#2434 ·
Les mainteneurs répondent en général sous 1 jour
-
macro: zero-argument context-taking helper called as a bare statement is not threaded (Pareto G20)Ouverte
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
lfglabs-dev/verity#2431 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
lfglabs-dev/verity#2427 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
lfglabs-dev/verity#2424 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2423 ·
Les mainteneurs répondent en général sous 1 jour
-
Auto view-frame proof fails on require/revert and static calls, forcing view markers to be droppedOuverte
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
lfglabs-dev/verity#2422 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 52/100
lfglabs-dev/verity#2421 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
lfglabs-dev/verity#2420 ·
Les mainteneurs répondent en général sous 1 jour
-
override bodies are elaborated at the parent's position (cannot use child helpers); no super.f(args)Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2419 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
lfglabs-dev/verity#2418 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
lfglabs-dev/verity#2417 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
lfglabs-dev/verity#2359 ·
Les mainteneurs répondent en général sous 1 jour
-
Macro-emit reentrancy adversary holes and entrypoint registry (single-source rely-guarantee models)Ouverteenhancement lean P1: core language
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2094 ·
Les mainteneurs répondent en général sous 1 jour
-
P3: deferred proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#2084 ·
Les mainteneurs répondent en général sous 1 jour
-
proof(L2): Tier 3 — effects & observables (ABI encoding correctness; emit, typed reverts, returns)OuverteP2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 28/100
lfglabs-dev/verity#2082 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#2071 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 32/100
lfglabs-dev/verity#2059 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2058 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#2023 ·
Les mainteneurs répondent en général sous 1 jour
-
blocks:erc4337 blocks:morpho enhancement P3: deferred
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
lfglabs-dev/verity#2002 ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
lfglabs-dev/verity#2000 · 2 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#1997 ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#1995 ·
Les mainteneurs répondent en général sous 1 jour
-
P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
lfglabs-dev/verity#1994 ·
Les mainteneurs répondent en général sous 1 jour
-
feat(Codegen,Proofs): automatic checked-arithmetic obligations (solc 0.8 overflow semantics)Ouverteenhancement P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#1993 ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement P2: important
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1992 ·
Les mainteneurs répondent en général sous 1 jour
-
blocks:morpho P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
lfglabs-dev/verity#1990 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
cleanup P3: deferred
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1987 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
blocks:erc4337 blocks:lido blocks:morpho
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1982 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1963 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1895 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
enhancement P3: deferred
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100
lfglabs-dev/verity#1724 · 8 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
P2: important proof
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
lfglabs-dev/verity#1723 · 7 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 72/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 62/100
-
Add Linux secret storage backendOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 32/100
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 30/100
lfglabs-dev/private-ethereum-assistant#41 · 1 commentaire ·
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
Affichage des 100 plus récents
Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.