issues
search
zksecurity
/
noname
Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
193
stars
50
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add --disable-safety-check option
#235
StefanosChaliasos
opened
4 days ago
0
Fix for loop range in hint function
#234
katat
closed
4 days ago
2
Error reporting in programs without constraints
#233
bufferhe4d
opened
5 days ago
1
Add pub attribute for struct fields
#232
bufferhe4d
opened
5 days ago
1
Add boolean flag to skip argument type checking of builtin functions.
#231
bufferhe4d
opened
1 week ago
1
better server-mode
#230
mimoo
closed
1 week ago
0
fix: only copy assets and stdlib
#229
katat
closed
1 week ago
0
make log work with any types
#228
mimoo
opened
1 week ago
0
Create trait for builtins
#227
mimoo
opened
1 week ago
0
better log output
#226
mimoo
closed
1 week ago
0
Add += functionality
#225
bufferhe4d
closed
5 days ago
4
Allow pub attribute for struct fields
#224
katat
opened
1 week ago
2
[stdlib] add sparse merkle tree in
#223
katat
opened
1 week ago
0
a couple fixes
#222
katat
closed
1 week ago
0
Have our own Field trait?
#221
mimoo
opened
1 week ago
1
Support hint function
#220
katat
closed
5 days ago
3
Support kimchi and string type in debugger API
#219
katat
opened
2 weeks ago
5
supporting debug var value
#218
katat
closed
2 weeks ago
0
support + - * / % for uints
#217
katat
closed
2 weeks ago
0
fix: forbid generic call with mutable vars
#216
katat
closed
2 weeks ago
2
server mode for visual debugging
#215
mimoo
closed
1 week ago
2
Map native functions to builtin operators
#214
katat
opened
3 weeks ago
2
Add Bool type in stdlib
#213
katat
opened
3 weeks ago
1
Support generic struct
#212
katat
opened
3 weeks ago
1
Enhancement for ITE
#211
katat
opened
3 weeks ago
2
use proptest to test functions like `less_than`
#210
mimoo
opened
3 weeks ago
0
"improve: error msgs and handling"
#209
crypdoughdoteth
closed
2 weeks ago
6
Add MIMC stdlib
#208
katat
closed
3 weeks ago
0
Support multiplexer
#207
katat
closed
3 weeks ago
0
Add u16/32/64
#206
katat
closed
3 weeks ago
0
Check and reassign the field type
#205
katat
opened
1 month ago
1
Fix: Allow struct fields to propagate constants
#204
katat
closed
3 weeks ago
1
Server mode for debugging and understanding the compiler
#203
mimoo
closed
1 week ago
0
Support sub dependency in a package
#202
katat
opened
1 month ago
1
Support native stdlib
#201
katat
closed
3 weeks ago
5
Test monomorphized AST
#200
katat
opened
1 month ago
0
Support hint function declaration to bind with builtin function
#199
katat
closed
3 weeks ago
0
Fix: avoid node overriding and re-instantiate a same function
#198
katat
closed
1 month ago
0
Builtin operators
#197
katat
opened
1 month ago
2
Better log function for debugging
#196
katat
closed
1 week ago
1
allow use custom's const field to declare symbolic size
#195
katat
closed
1 month ago
2
Support const attribute to custom type's field
#194
katat
opened
1 month ago
1
feat: log builtin
#193
katat
closed
1 month ago
1
Support constant attribute for function variable
#192
katat
opened
1 month ago
1
fix asm fixtures
#191
katat
closed
1 month ago
0
change the Symbolic::parse to a TryFrom<Expr>
#190
katat
opened
1 month ago
0
allow generic calls within forloop
#189
katat
closed
3 weeks ago
2
when to fold a constant variable
#188
katat
opened
1 month ago
1
Fix function instantiation
#187
katat
closed
1 month ago
4
Refactor for loops and iterators in the same statement structure
#186
gio54321
closed
1 month ago
0
Next