issues
search
anoma
/
juvix-arm-specs
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: add randomness support
#27
heueristik
closed
1 week ago
0
feature: add checked lookup function
#26
heueristik
closed
1 week ago
0
feature: add checked lookup function
#25
heueristik
closed
1 week ago
1
Update juvix-stdlib dependency
#24
paulcadman
closed
1 week ago
0
Add RM low-level interface and high-level to low-level translation
#23
paulcadman
opened
2 weeks ago
0
feat: implement `composeTransactions` in Juvix
#22
heueristik
closed
2 weeks ago
0
Notes from review of transparent instantiation
#21
cwgoes
opened
2 weeks ago
7
refactor: structure and exports
#20
heueristik
closed
2 weeks ago
0
Add RM base interface module
#19
paulcadman
closed
2 weeks ago
1
Refactor AppData and CustomInput maps
#18
heueristik
opened
2 weeks ago
0
Notes from review of model
#17
cwgoes
opened
2 weeks ago
12
feat: instantiate the transparent ARM v2
#16
heueristik
closed
3 weeks ago
1
feat: instantiate the transparent ARM v2
#15
heueristik
closed
3 weeks ago
0
fix: replace generic proof record type
#14
heueristik
closed
1 month ago
1
fix: wrong proof record definition
#13
heueristik
closed
1 month ago
0
refactor: nullifier function signature
#12
heueristik
closed
1 month ago
0
feat: add commitment tree and nullifier set instances
#11
heueristik
closed
1 month ago
1
feat: add identity definition from the specs
#10
heueristik
opened
1 month ago
0
Instantiate the transparent ARM
#9
heueristik
closed
1 month ago
1
Use the `nspec` identity machine definitions
#8
heueristik
opened
1 month ago
1
Add a `prove(actions : Set Action)` function
#7
heueristik
closed
1 month ago
1
refactor: restructuring of proving system
#6
heueristik
closed
1 month ago
0
Parametrize ProvingSystem and ProofRecord
#5
paulcadman
closed
1 month ago
0
Try to make the `Ref` trait docs clearer
#4
paulcadman
closed
1 month ago
0
Add feedback document
#3
paulcadman
closed
1 month ago
0
Translate the general RM v2 interface into Juvix
#1
heueristik
closed
1 month ago
1