Chủ sở hữu

0xMiden

Đã lập chỉ mục 40 kho mã nguồn · Xem trên GitHub

miden-vm
STARK-based virtual machine

Rust · 772 star
protocol
Core components of the Miden protocol

Rust · 132 star
compiler
Compiler from Rust to Miden Assembly

Rust · 115 star
node
Reference implementation of the node for the Miden blockchain

Rust · 104 star
air-script
A domain-specific language for writing AIR constraints for STARKs

Rust · 96 star
rust-sdk
Client library that facilitates interaction with the Miden blockchain

Rust · 78 star
examples
Examples of using Polygon Miden

TypeScript · 21 star
tutorials
Miden tutorials for a smooth onboarding

Rust · 18 star
MultiSig
Building a MultiSig PoC

TypeScript · 12 star
faucet
Token faucet application for Miden testnet

Rust · 10 star
docs
Consolidated documentation for the Miden rollup

TypeScript · 10 star
midenup

Rust · 8 star
agentic-template
Mono repo template for agentic assisted full-stack development on Miden

Shell · 7 star
para-sdk
The Miden x Para SDK integration

JavaScript · 6 star
wallet

TypeScript · 5 star
golden-dkg
Golden DKG: distributed key generation and eVRF over a generic group abstraction

Rust · 4 star
clob-example

Rust · 3 star
turnkey-sdk
Miden x Turnkey

JavaScript · 3 star
note-transport-service

Rust · 3 star
zed-extension

Tree-sitter Query · 2 star
Còn 20 kho mã nguồn nữa trên Xem trên GitHub

Đang mở Tất cả

Đã lập chỉ mục 1297 issue đang mở

feat: Export Rust structs representing the trace layout Đang mở

0xMiden/air-script#384 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Ensure Winterfell generated codegen can be proven and verified Đang mở

tests

0xMiden/air-script#390 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
ACE: Handle arbitrary degree AIRs Đang mở

codegen

0xMiden/air-script#391 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
ACE: Handle single row constraints Đang mở

0xMiden/air-script#392 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add `no_std` support Đang mở

0xMiden/air-script#393 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Busses: generate powers of auxiliary random values Đang mở

0xMiden/air-script#397 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Change list comprehensions' body from ScalarExpr to Expr Đang mở

0xMiden/air-script#407 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Test ACE layout Đang mở

tests

0xMiden/air-script#421 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Revised bus boundary constraints Đang mở

0xMiden/air-script#422 · 9 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Enforce selector rules for match statements Đang mở

0xMiden/air-script#428 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Allow bus operations to be defined without a selector Đang mở

0xMiden/air-script#430 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Refine type inference Đang mở

IR

0xMiden/air-script#432 · 11 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add support for more general boundary constraints Đang mở

on hold

0xMiden/air-script#433 · 9 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Document usage of pure functions Đang mở

documentation

0xMiden/air-script#436 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Remove the `$main` keyword Đang mở

0xMiden/air-script#441 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Refactor lowering from MIR to AIR Đang mở

0xMiden/air-script#445 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider moving MIR's constant propagation to the AIR Đang mở

IR

0xMiden/air-script#446 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add an AIR pass for Algebraic expressions optimization Đang mở

IR

0xMiden/air-script#448 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Đang mở

codegen

0xMiden/air-script#450 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Đang mở

0xMiden/air-script#452 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Improve `Let` statements lowering in MIR Đang mở

0xMiden/air-script#454 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Miden VM Constraints Implementation in AirScript DSL Đang mở

0xMiden/air-script#455 · 2 bình luận · 2 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Unify all testing Airs Đang mở

0xMiden/air-script#456 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Initial structure with minimal example Đang mở

0xMiden/air-script#463 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Update Bitwise chiplet constraints Đang mở

0xMiden/air-script#465 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Update Hasher chiplet constraints Đang mở

0xMiden/air-script#467 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Express and check expression degree Đang mở

0xMiden/air-script#474 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Randomize checking of each optimization pass Đang mở

0xMiden/air-script#475 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider adding a fold + reverse operations Đang mở

0xMiden/air-script#481 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Đang mở

MidenVM constraints

0xMiden/air-script#482 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Making use of `assert_bools` in Plonky3 Đang mở

codegen

0xMiden/air-script#483 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
The "enf match" pattern and the current chiplets design Đang mở

0xMiden/air-script#485 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Vector Slice Expansion in Evaluator Calls Đang mở

IR

0xMiden/air-script#486 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Improve `periodic_column` usage in Plonky3 backend Đang mở

codegen

0xMiden/air-script#492 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
nested slices break the parser and some Middle IR assumptions Đang mở

IR parser

0xMiden/air-script#502 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Potential Mir improvements Đang mở

0xMiden/air-script#504 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Avoid Matrix Construct in MDS Multiplication Đang mở

0xMiden/air-script#506 · 2 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Allow buses .first and .last to be set to a variable length public input. Đang mở

0xMiden/air-script#518 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Plonky3 Codegen] Support Aux trace generation for logup Đang mở

0xMiden/air-script#519 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Đang mở

0xMiden/air-script#521 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Đang mở

0xMiden/air-script#522 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Remove `fmp` and `in_syscall` columns Đang mở

0xMiden/air-script#529 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Compare constraints evaluation on winterfell and plonky3 Đang mở

tests

0xMiden/air-script#532 · 0 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Đang mở

0xMiden/air-script#534 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Đang mở

0xMiden/air-script#555 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Create a Figma that defines the frontend the the flow Đang mở

0xMiden/MultiSig#1 · 3 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Analyse missing features to implement the end to end user flow Đang mở

0xMiden/MultiSig#2 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
TransactionGuard (policy checks before transaction execution) Đang mở

0xMiden/MultiSig#10 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Revisit the single- vs. multi- account `MultisigClient` Đang mở

0xMiden/MultiSig#11 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Initial observation on the platform Đang mở

0xMiden/MultiSig#15 · 4 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026

0xMiden

Nhận issue mới trong hộp thư của bạn