-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
- #39 · SpaceManiac opened
on Jul 9, 2025 - #130 · SebastienGllmt opened
on May 11, 2026
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#222 In LFDT-Nightstream/Starstream;
- Status: Open.#216 In LFDT-Nightstream/Starstream;
- Status: Open.#168 In LFDT-Nightstream/Starstream;
- Status: Open.#131 In LFDT-Nightstream/Starstream;
- Status: Open.#130 In LFDT-Nightstream/Starstream;
- Status: Open.#95 In LFDT-Nightstream/Starstream;
Demo: Stateful sandbox (multiple transactions)
vmRelating to the VM executor, prover, verifier, or ledgerRelating to the VM executor, prover, verifier, or ledgerStatus: Open.#50 In LFDT-Nightstream/Starstream;Interleaving proofs ideas
proofsRelating to ZK proofs and verificationRelating to ZK proofs and verificationvmRelating to the VM executor, prover, verifier, or ledgerRelating to the VM executor, prover, verifier, or ledgerStatus: Open.#49 In LFDT-Nightstream/Starstream;Typechecker: make utxos affine types
languageRelating to language parser and compilerRelating to language parser and compilerStatus: Open.#46 In LFDT-Nightstream/Starstream;- Status: Open.#39 In LFDT-Nightstream/Starstream;
Add builtin functions for unary and binary Wasm operators
enhancementNew feature or requestNew feature or requestlanguageRelating to language parser and compilerRelating to language parser and compilerStatus: Open.#33 In LFDT-Nightstream/Starstream;Allow statically linking other WASM modules
languageRelating to language parser and compilerRelating to language parser and compilerStatus: Open.#24 In LFDT-Nightstream/Starstream;