issues
search
GuildOfWeavers
/
distaff
Zero-knowledge virtual machine written in Rust
MIT License
244
stars
44
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make uninit_vector function unsafe
#43
kitcatier
opened
1 year ago
3
Ideas for assembly instruction improvements
#42
bobbinth
opened
4 years ago
0
Change default security level to ~100 bits
#41
bobbinth
opened
4 years ago
2
Clean up machine instruction set
#40
bobbinth
opened
4 years ago
0
Random access memory
#39
bobbinth
opened
4 years ago
0
Add assembly instruction for hashing long sequences of values
#38
bobbinth
opened
4 years ago
2
Merkle path instruction improvements
#37
bobbinth
closed
4 years ago
1
Add mpath instruction with public index input
#36
bobbinth
closed
4 years ago
0
incremented version to 5.1
#35
bobbinth
closed
4 years ago
0
Define elliptic curve for the VM
#34
bobbinth
opened
4 years ago
0
Improve code organization
#33
bobbinth
opened
4 years ago
0
A small mistake
#32
Federico2014
closed
4 years ago
3
Program execution refactoring
#31
bobbinth
closed
4 years ago
0
Refactor conditional execution
#30
bobbinth
closed
4 years ago
0
Add support for unbounded loops
#29
bobbinth
closed
4 years ago
0
Add support for bounded loops
#28
bobbinth
closed
4 years ago
0
Add more boolean assembly instructions
#27
bobbinth
closed
4 years ago
0
Add isodd assembly instruction
#26
bobbinth
closed
4 years ago
0
Internal clean-up
#25
bobbinth
closed
4 years ago
0
Remove AUX stack register
#24
bobbinth
closed
4 years ago
0
Basic assembly support
#23
bobbinth
closed
4 years ago
0
Add support for macro operations
#22
bobbinth
closed
4 years ago
0
Add support for multi-path programs
#21
bobbinth
closed
4 years ago
0
Add support for random access memory
#20
bobbinth
opened
4 years ago
0
Add ALT stack
#19
bobbinth
closed
4 years ago
1
Introduce high-degree operations
#18
bobbinth
closed
4 years ago
0
value comparisons
#17
bobbinth
closed
4 years ago
0
Implement multi-threaded proof generation
#16
bobbinth
opened
4 years ago
0
Add support for value comparison
#15
bobbinth
closed
4 years ago
0
v0.3
#14
bobbinth
closed
4 years ago
0
Add support for secret inputs
#13
bobbinth
closed
4 years ago
0
Implement CHOOSE operations
#12
bobbinth
closed
4 years ago
0
Implement hashing operations
#11
bobbinth
closed
4 years ago
0
128 bit field support
#10
bobbinth
closed
4 years ago
0
add sha3 to the hash benchmark
#9
nkeywal
closed
4 years ago
3
implement DEEP-FRI
#8
bobbinth
closed
4 years ago
0
Consider getting inspiration from ZKVM
#7
gakonst
opened
4 years ago
5
Implement EQ operation
#6
bobbinth
closed
4 years ago
0
Implement INV operation
#5
bobbinth
closed
4 years ago
0
Implement VERIFY operation
#4
bobbinth
closed
4 years ago
0
Add grinding to proof generation
#3
bobbinth
closed
4 years ago
0
Complete estimation of proof security level
#2
bobbinth
closed
4 years ago
0
Replace FRI with DEEP-FRI for low-degree testing
#1
bobbinth
closed
4 years ago
0