aptos-labs

可能已有人在做的 issue 排在最后。 全部按时间排序

• [prover] Behavioral predicate over a `&mut` parameter in a body spec block reads the entry value

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20807 · 2026年10月23日 创建

  维护者通常 1 天内回复

• [prover] Behavioral predicate in a body spec block: an error, or a panic in is_stateful_mut_ref, when a `&mut` callback's argument is a local

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 55/100

  aptos-labs/aptos-core#20806 · 2026年10月23日 创建

  维护者通常 1 天内回复

• [Bug][consensus] Liveness deadlock after BlockStore::rebuild due to HQC regression below SafetyRules preferred_round and one_chain_round

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20801 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] aborts_of over a function parameter taking a BigOrderedMap has no congruence over $IsEqual, so it misses the call after a map change

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 1-2 天 新手友好度 52/100

  aptos-labs/aptos-core#20800 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] ensures_of over a &mut-taking, value-returning function parameter does not connect to the call when its slots are quantified

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 1-2 天 新手友好度 52/100

  aptos-labs/aptos-core#20799 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] A native's modifies frame is not havoced when it is called through a function value or inside a loop

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20798 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] aborts_of over an unframed function-typed field ignores memory, and nothing checks what is stored into it

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 35/100

  aptos-labs/aptos-core#20797 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] With -o, a lambda mutating its &mut parameter through a callee gets an identity contract, so a false postcondition verifies

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20796 · 2026年10月22日 创建

  维护者通常 1 天内回复

• [prover] A memory-writing closure forwarded to an opaque function's undeclared closure parameter escapes the frame check

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 45/100

  aptos-labs/aptos-core#20795 · 1 条评论 · 2026年10月21日 创建

  维护者通常 1 天内回复

• [prover] Lean backend accepts a closure that writes memory through an invoked function value, past an empty closure frame

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 5/5 一周以上 新手友好度 25/100

  aptos-labs/aptos-core#20794 · 2026年10月21日 创建

  维护者通常 1 天内回复

• [prover] Abort and result facts at an opaque call are assumed for callees that read memory their contract does not name

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-core#20793 · 1 条评论 · 2026年10月21日 创建

  维护者通常 1 天内回复

• [prover] Feature: a folds_of invariant on BigOrderedMap traversals, so aggregates over a map can be stated

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-core#20786 · 2026年10月20日 创建

  维护者通常 1 天内回复

• [prover] Feature: state a multi-capture fold at symbolic length (two totals in one loop have no contract)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-core#20785 · 2026年10月20日 创建

  维护者通常 1 天内回复

• [prover] A callback's effect on global state cannot be stated across a generic opaque higher-order call whose closure frame is left to the call site

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-core#20783 · 2026年10月20日 创建

  维护者通常 1 天内回复

• [prover] Spec inference reports cyclic state definitions for a closure that creates a nested map and then writes to it

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20782 · 2026年10月20日 创建

  维护者通常 1 天内回复

• [move-prover] Panic "expected Type::Struct, found TypeParameter" when a spec names memory through a bare type parameter

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 40/100

  aptos-labs/aptos-core#20729 · 2026年10月9日 创建

  维护者通常 1 天内回复

• [prover] A memory-writing closure passed to an opaque function inside a loop is neither frame-checked nor havoced

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 55/100

  aptos-labs/aptos-core#20717 · 1 条评论 · 2026年10月8日 创建

  维护者通常 1 天内回复

• [move-prover] Spec equality on a generic struct instantiated with num crashes Boogie

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  aptos-labs/aptos-core#20672 · 2026年10月3日 创建

  维护者通常 1 天内回复

• [prover] Function values outside the closed world are unsound

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug move-prover

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20650 · 2026年9月30日 创建

  维护者通常 1 天内回复

• [prover] `apply <schema> to *` matches #[test]/#[test_only] functions, breaking `move test` for any schema with a bound variable

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 57/100

  aptos-labs/aptos-core#20646 · 2026年9月30日 创建

  维护者通常 1 天内回复

• [Bug] Linux disk metrics are duplicated once per bind mount of the same device

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 74/100

  aptos-labs/aptos-core#20546 · 1 个 reaction · 2026年9月15日 创建

  维护者通常 1 天内回复

• [prover] WP anchors a normal-return postcondition on an aborting path

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Stale

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-core#20490 · 1 条评论 · 2026年9月3日 创建

  维护者通常 1 天内回复

• [prover] WP over invariant-less loops splits a disjunctive exit fact into conjuncts

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Stale

  难度 5/5 一周以上 新手友好度 45/100

  aptos-labs/aptos-core#20478 · 1 条评论 · 2026年9月1日 创建

  维护者通常 1 天内回复

• [Bug] [compiler-v2] `==`/`!=` on function values with widened abilities emits bytecode the verifier rejects (`EQUALITY_OP_TYPE_MISMATCH_ERROR`)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug compiler-v2 Stale

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#20457 · 1 条评论 · 2026年8月28日 创建

  维护者通常 1 天内回复

• [prover] Support `&mut`-returning targets for mut-capturing closures

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover stale-exempt

  难度 5/5 一周以上 新手友好度 30/100

  aptos-labs/aptos-core#20268 · 1 条评论 · 2026年7月26日 创建

  维护者通常 1 天内回复

• move_package_query facts: acquiresInferred silently missing when the build has errors — no degradation signal

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-ai#19 · 2026年7月23日 创建

• move-flow v2.0.0 compiler cannot build current aptos-framework (unrecognized intrinsic-map spec pragmas in big_ordered_map.spec.move)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  aptos-labs/aptos-ai#18 · 2026年7月23日 创建

• Connect to Google, shows blank screen most of the times

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  aptos-labs/petra-wallet#78 · 2026年7月3日 创建

• Error Tab activity not open , call api author error , pls fix not see on frontend

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 25/100

  aptos-labs/aptos-connect-feedback#6 · 2026年6月10日 创建

• [Bug] TypeTag parser lexer rejects identifiers with leading underscore — divergence from Identifier::is_valid

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  stale-exempt

  难度 2/5 1-3 小时 新手友好度 76/100

  aptos-labs/aptos-core#19753 · 1 条评论 · 2026年5月14日 创建

  维护者通常 1 天内回复

• Petra 2.4.8 Testnet RPC points to unresolved staging endpoint; custom testnet network fails with "network not found"

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 48/100

  aptos-labs/petra-wallet#77 · 2026年5月13日 创建

• Bump ts-sdk to version 6.x.x

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 3/5 1-2 天 新手友好度 62/100

  aptos-labs/aptos-js-pro#42 · 2026年5月6日 创建

• Petra Activity Bug

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 35/100

  aptos-labs/aptos-connect-feedback#5 · 2026年5月6日 创建

• Suggestion: [Ending Code] + [Module Path] return on simulation error

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 38/100

  aptos-labs/petra-wallet#76 · 2026年4月11日 创建

• Create app-integration-template repo

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-docs#422 · 2 条评论 · 2026年3月31日 创建

  维护者通常 1 天内回复

• Add a description to improve Dispatch discoverability

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 48/100

  aptos-labs/aptos-agent-skills#54 · 2026年3月29日 创建

• Rewrite Application Integration Guide (system-integrators-guide.mdx)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  aptos-labs/aptos-docs#400 · 1 条评论 · 2026年3月19日 创建

  维护者通常 1 天内回复

• [Feature Request] Improved use statement for Move

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  compiler-v2 enhancement stale-exempt

  难度 3/5 1-2 天 新手友好度 52/100

  aptos-labs/aptos-core#19124 · 1 个 reaction · 2026年3月18日 创建

  维护者通常 1 天内回复

• [prover] refactor bitvector logic in prover

  可能重新可做 @rahxephon89 于 226 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  move-prover stale-exempt

  aptos-labs/aptos-core#19036 · 2 条评论 · 已指派 1 人 · 2026年3月11日 创建

  维护者通常 1 天内回复

• Shelby.community

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 1/5 1 小时以内 新手友好度 15/100

  aptos-labs/ace#3 · 4 条评论 · 2026年3月11日 创建

  维护者通常 1 天内回复

• [compiler] generating more optimized code for public structs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  compiler-v2 stale-exempt

  难度 5/5 一周以上 新手友好度 20/100

  aptos-labs/aptos-core#18319 · 2 条评论 · 2025年12月15日 创建

  维护者通常 1 天内回复

• INSUFFICIENT_BALANCE_FOR_TRANSACTION_FEE

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 25/100

  aptos-labs/petra-wallet#73 · 1 条评论 · 2025年11月26日 创建

• From one wallet builder to another

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 10/100

  aptos-labs/petra-wallet#72 · 2025年11月10日 创建

• [Bug] Under-constraint output signal & circomlib misuse

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  aptos-labs/keyless-zk-proofs#89 · 2025年11月10日 创建

• [Feature Request] Add ARM64 Docker image support for aptos-node in release process

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement stale-exempt

  难度 4/5 3-5 天 新手友好度 48/100

  aptos-labs/aptos-core#18043 · 13 条评论 · 8 个 reaction · 2025年11月5日 创建

  维护者通常 1 天内回复

• Gas Station Guidance Inconsistent Across Project Types - Requires Trial-and-Error Development

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  aptos-labs/aptos-npm-mcp#47 · 2025年9月25日 创建

• Gas Station Creation Tools Fail with Deserialization Error - Blocks Automated Developer Workflow

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 42/100

  aptos-labs/aptos-npm-mcp#46 · 2025年9月25日 创建

• [Feature Request] Have a symmetric MarshalJSON and UnmarshalJSON for all API types

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 25/100

  aptos-labs/aptos-go-sdk#186 · 2025年9月22日 创建

• [move] Cover bug for open ends signed integers

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  stale-exempt

  难度 5/5 一周以上 新手友好度 15/100

  aptos-labs/aptos-core#17645 · 1 条评论 · 2025年9月19日 创建

  维护者通常 1 天内回复

• Improve MCP guidance to generate well-commented, maintainable code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 2/5 1-3 小时 新手友好度 52/100

  aptos-labs/aptos-npm-mcp#45 · 2025年9月11日 创建