-
Notifications
You must be signed in to change notification settings - Fork 10
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.#176 In LFDT-Nightstream/Starstream;
- Status: Open.#175 In LFDT-Nightstream/Starstream;
- Status: Open.#168 In LFDT-Nightstream/Starstream;
- Status: Open.#167 In LFDT-Nightstream/Starstream;
- Status: Open.#165 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;