Chủ sở hữu
lfglabs-dev
Đã lập chỉ mục 19 kho mã nguồn · Xem trên 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 star
-
app.starknet.id
Naming Service for Starknet
TypeScript · 61 star
-
starknet.quest
The on-chain quest tool of Starknet
TypeScript · 39 star
-
api.starknet.quest
starknet.quest rust backend
Rust · 10 star
-
starknet.id
Presentation website of starknet.id
TypeScript · 7 star
-
naming
Cairo implementation of the naming contract built for compiler version 2.3.0
Cairo · 4 star
-
api.starknet.id
StarknetID API written in Rust.
Rust · 3 star
-
ethereum-verification-benchmark
Benchmark for Verity-based smart contract verification research
Lean · 3 star
-
starknetid.js
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID
TypeScript · 2 star
-
mcserverjars.com
The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.
TypeScript · 2 star
-
private-ethereum-assistant
A private LLM assistant for crafting ethereum transactions
TypeScript · 2 star
-
ethbutton.com
The ethereum button: an app to promote the ethereum ecosystem and self custody
TypeScript · 1 star
-
auto_renew_bot
A rust bot that triggers the auto-renewals
Rust · 1 star
-
Cairo · 0 star
-
affiliate.starknet.id
Affiliate space for stark domains
TypeScript · 0 star
-
TypeScript · 0 star
-
Python · 0 star
-
utu_runes_lib
A cairo library for parsing Runestones
Cairo · 0 star
-
TrustlessInference
Access any AI model, with cryptographic proof you got exactly what you asked for
TypeScript · 0 star
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100
lfglabs-dev/verity#2435 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 78/100
lfglabs-dev/verity#2434 ·
-
macro: zero-argument context-taking helper called as a bare statement is not threaded (Pareto G20) Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
lfglabs-dev/verity#2431 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
lfglabs-dev/verity#2427 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
lfglabs-dev/verity#2424 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2423 ·
-
Auto view-frame proof fails on require/revert and static calls, forcing view markers to be dropped Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
lfglabs-dev/verity#2422 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
lfglabs-dev/verity#2421 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
lfglabs-dev/verity#2420 ·
-
override bodies are elaborated at the parent's position (cannot use child helpers); no super.f(args) Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2419 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
lfglabs-dev/verity#2418 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
lfglabs-dev/verity#2417 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2359 ·
-
Macro-emit reentrancy adversary holes and entrypoint registry (single-source rely-guarantee models) Đang mởenhancement lean P1: core language
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2094 ·
-
P3: deferred proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#2084 ·
-
proof(L2): Tier 3 — effects & observables (ABI encoding correctness; emit, typed reverts, returns) Đang mởP2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100
lfglabs-dev/verity#2082 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#2071 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
lfglabs-dev/verity#2059 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2058 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#2023 ·
-
blocks:erc4337 blocks:morpho enhancement P3: deferred
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
lfglabs-dev/verity#2002 ·
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
lfglabs-dev/verity#2000 · 2 bình luận ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#1997 ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#1995 ·
-
P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
lfglabs-dev/verity#1994 ·
-
feat(Codegen,Proofs): automatic checked-arithmetic obligations (solc 0.8 overflow semantics) Đang mởenhancement P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#1993 ·
-
enhancement P2: important
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1992 ·
-
blocks:morpho P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
lfglabs-dev/verity#1990 · 1 bình luận ·
-
cleanup P3: deferred
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1987 · 1 bình luận ·
-
blocks:erc4337 blocks:lido blocks:morpho
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1982 · 1 bình luận ·
-
enhancement P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1963 · 1 bình luận ·
-
enhancement P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1895 · 1 bình luận ·
-
enhancement P3: deferred
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
lfglabs-dev/verity#1724 · 8 bình luận ·
-
P2: important proof
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
lfglabs-dev/verity#1723 · 7 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 62/100
-
Add Linux secret storage backend Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
lfglabs-dev/private-ethereum-assistant#41 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Add older Paper builds Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
(twbs#41961) Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 10/100
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.