issues
search
0xPolygonMiden
/
miden-vm
STARK-based virtual machine
MIT License
612
stars
150
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat(processor): allow public construction of execution trace
#1397
bitwalker
opened
1 hour ago
0
Rename `internals` feature to `testing`
#1396
Fumuran
opened
2 hours ago
0
feat(processor): expose the process api
#1395
bitwalker
closed
1 hour ago
0
add MastNodeId::TryFrom<u32>
#1394
sergerad
opened
14 hours ago
4
add MastNodeId::TryFrom<u32>
#1393
sergerad
closed
14 hours ago
1
`MastForest`: Ensure that the number of nodes is less than 2^30
#1392
plafer
opened
3 days ago
1
MAST deserialization: don't recompute all node hashes
#1391
plafer
opened
3 days ago
0
Implement serialization/deserialization for `Operation`
#1390
plafer
closed
4 days ago
1
Fix `ChipletsVTableColBuilder`
#1389
plafer
opened
5 days ago
0
Proposition to refactor the multiset checks across the codebase
#1388
plafer
opened
6 days ago
3
Offloading the logic of FRI query verification to the chiplet. FRI Chiplet
#1387
kamalbuilds
opened
6 days ago
0
Meta data useful for LogUp-GKR
#1386
Al-Kindi-0
opened
6 days ago
2
Remove unused `Hasher` aux column
#1385
plafer
opened
1 week ago
1
Optimize truncate_stack procedure
#1384
Fumuran
closed
1 week ago
3
VM should ensure that the last operation is a `HALT`
#1383
plafer
opened
1 week ago
1
Change the type of the error code of `u32assert2` operation from `Felt` to `u32`
#1382
Fumuran
closed
5 days ago
0
Change `u32assert2` error code type to `u32`
#1381
Fumuran
closed
5 days ago
1
Rework field and u32 comparison instructions
#1380
Fumuran
closed
5 days ago
1
Return proper message at underflow
#1379
Fumuran
closed
1 week ago
0
Allow user to define error codes
#1378
hackaugusto
opened
1 week ago
0
Allow procedures with the same name to differ on the number of locals
#1377
hackaugusto
opened
1 week ago
1
Stable procedure order when compiling with Assembler::compile_module
#1376
hackaugusto
opened
1 week ago
0
Add tracing support to the VM
#1375
hackaugusto
opened
1 week ago
1
Rework field and u32 comparison instructions
#1374
Fumuran
closed
5 days ago
1
implement adv.push_smtset/get
#1373
Raneet10
opened
1 week ago
0
Return proper error message from the `mem_ops` in case of underflow
#1372
Fumuran
closed
1 week ago
1
bug: substract with overflow when compiling on debug mode
#1371
mFragaBA
closed
2 days ago
4
`MastForest` serialization
#1370
plafer
opened
2 weeks ago
1
Implement procedure for hashing arbitrary number of values
#1369
Fumuran
closed
2 weeks ago
0
`MastForest` and `MastNodeId`: add `Tag` generic parameter
#1368
plafer
opened
2 weeks ago
1
LogUp-GKR tracking PR
#1367
bobbinth
opened
2 weeks ago
0
LogUp GKR
#1366
bobbinth
closed
2 weeks ago
0
LogUp-GKR tracking PR
#1365
bobbinth
closed
2 weeks ago
1
LogUp-GKR integration into VM
#1364
plafer
opened
2 weeks ago
3
feat: support absolute module/procedure paths
#1363
bitwalker
closed
1 week ago
2
Support the immediate values for `u32` bitwise instructions
#1362
Fumuran
closed
1 week ago
1
ci: add rust-toolchain.toml
#1361
bitwalker
closed
3 weeks ago
3
feat: support explicit nops, allow either branch of `if.true` to be empty
#1360
bitwalker
closed
3 weeks ago
3
Introduce `MastForestStore`
#1359
plafer
closed
1 week ago
2
Support the immediate values for `u32` comparison instructions
#1358
Fumuran
closed
3 weeks ago
0
fix: update metal codebase to adjust it to 0.9 version of crates
#1357
TheMenko
closed
3 weeks ago
1
Detect invalid stack access by child procedure
#1356
hackaugusto
opened
4 weeks ago
3
`MastForest`: Add convenience method for tests
#1355
plafer
opened
4 weeks ago
0
CI: Add `cargo clippy` with the `executable` feature
#1354
plafer
opened
1 month ago
4
Fix segment page alignment issue in metal prover
#1353
GopherJ
closed
3 weeks ago
0
Merge `main` branch into `next` (second attempt)
#1352
Fumuran
closed
1 month ago
1
Merge `main` branch into `next`
#1351
Fumuran
closed
1 month ago
0
Support the immediate values for `u32` comparison instructions
#1350
Fumuran
closed
3 weeks ago
1
Implement table-based MAST
#1349
plafer
closed
3 weeks ago
7
Support the immediate values for `lt`, `lte`, `gt` and `gte` comparison instructions
#1348
Fumuran
closed
1 month ago
1
Next