issues
search
NilFoundation
/
zkllvm-rslang
Other
15
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Public and private inputs to circuit function
#76
aleasims
opened
9 months ago
0
Memory allocators for assigner target must use assigner-specific intrinsics
#75
aleasims
opened
11 months ago
0
Build full `std` docs fails on `libc`
#74
aleasims
opened
11 months ago
0
Add `assigner.exit.check` intrinsic
#73
aleasims
closed
11 months ago
0
Add `assigner.exit.check` intrinsic
#72
aleasims
closed
11 months ago
0
Rebase to Rust 1.73.0
#71
aleasims
closed
11 months ago
1
Add a number of BLS12-381 intrinsics
#70
aleasims
closed
12 months ago
0
Implement BLS12-381 signature verification support
#69
nkaskov
closed
12 months ago
0
Add fields and curves to optimized univariant struct layouts
#68
aleasims
closed
1 year ago
0
Behaviour of field and curve types inside small structures is not optimal
#67
aleasims
closed
1 year ago
0
Add field literals to `proc_macro`
#66
aleasims
closed
1 year ago
0
`proc_macro` support for field literals
#65
aleasims
closed
1 year ago
0
Update bug report URLs
#64
aleasims
closed
1 year ago
0
Disable const prop for curve types
#63
aleasims
closed
1 year ago
0
Curve types constant evaluation
#62
aleasims
opened
1 year ago
0
[ICE]: `Option::unwrap()` on a `None` value in const eval for curve values
#61
aleasims
closed
1 year ago
2
Change bug report URL to point to out repository
#60
aleasims
closed
1 year ago
0
Add SHA2-512 hash intrinsic
#59
aleasims
closed
1 year ago
0
Add SHA2-512 hash intrinsic
#58
aleasims
closed
1 year ago
0
Add SHA2-256 hash zkLLVM intrinsic
#57
aleasims
closed
1 year ago
0
Add `byval` attribute to circuit function arguments
#56
aleasims
closed
1 year ago
0
Circuit function arguments must have metadata specifying their types
#55
aleasims
closed
1 year ago
0
Add zkLLVM intrinsics to library
#54
aleasims
closed
1 year ago
1
Panic on code recompilation
#53
aleasims
opened
1 year ago
0
Safe curve element creation
#52
aleasims
opened
1 year ago
1
Type aliases for Vesta base and scalar fields
#51
aleasims
opened
1 year ago
0
Seems like `#![no_std]` has no effect when linking for assigner target
#50
aleasims
closed
1 year ago
1
Reenable opaque pointers
#49
makxenov
closed
1 year ago
0
Field and curve type layouts require more deep investigation
#48
aleasims
opened
1 year ago
0
Implement `cmp` for field types
#47
aleasims
closed
1 year ago
1
Support `as` conversions for field types in compiler
#46
aleasims
opened
1 year ago
0
Add curve built-in types to the compiler
#45
aleasims
closed
1 year ago
0
Add curve built-in types to the compiler
#44
aleasims
closed
1 year ago
0
Versioning of `rslang`
#43
aleasims
closed
1 year ago
2
Make `circuit` attribute define an entry point
#42
aleasims
closed
1 year ago
0
Move `--only-needed` option to linker interface
#41
aleasims
closed
1 year ago
0
Refine enabling the `--only-needed` option for llvm-link
#40
aleasims
closed
1 year ago
0
Use `circuit` attribute to run dead code elimination pass
#39
aleasims
closed
1 year ago
0
Add immediate panic for assigner target
#38
aleasims
closed
1 year ago
0
Decrease panic handling code for assigner target
#37
aleasims
closed
1 year ago
0
Enable `panic_immediate_abort` in rustbuild for assigner
#36
aleasims
closed
1 year ago
0
Build `std` for assigner target with `panic_immediate_abort` feature
#35
aleasims
closed
1 year ago
0
Add `--only-needed` option for llvm-link
#34
aleasims
closed
1 year ago
0
Use `--only-needed` option for llvm-link to decrease output size
#33
aleasims
closed
1 year ago
0
Field literal size checks and overflow handling
#32
aleasims
closed
1 year ago
0
Field literal bounds
#31
aleasims
closed
1 year ago
1
Fix negative field literals interpretation
#30
aleasims
closed
1 year ago
0
`std` links regardless the `#![no_std]` attribute
#29
aleasims
closed
1 year ago
1
Fix field constants evaluation
#27
aleasims
closed
1 year ago
0
Field values are turning into references during constant evaluation
#26
aleasims
closed
1 year ago
0
Next