 skoupidi
|
8f16456cbc
chore: clippy
|
3 月之前 |
 x
|
9ac548af37
zkas: Correct rustdoc typo
|
9 月之前 |
|
x
|
366a485ac6
zkas: Deduplicate some code in the parser to make things readable
|
9 月之前 |
|
dekizk
|
ad677b0fd9
zkas: Add TryFrom trait for VarType in parser
|
9 月之前 |
|
x
|
9785777642
chore: Update copyright license year
|
9 月之前 |
|
skoupidi
|
621e704115
rust: set stable toolchain and clippy chore
|
11 月之前 |
|
skoupidi
|
400bc43e24
runtime: chore clippy
|
1 年之前 |
|
parazyd
|
604f443fd1
chore: Update license header year
|
1 年之前 |
|
zero
|
1a1a26e396
Revert "sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs"
|
2 年之前 |
|
zero
|
dcf419b0ca
sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs
|
2 年之前 |
|
skoupidi
|
b2d2c7a4e8
chore: fmt
|
2 年之前 |
|
cheeese
|
0aad2dfb06
zkas/parser: add check for function to be a symbol
|
2 年之前 |
|
zero
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
2 年之前 |
|
parazyd
|
195c477caa
chore: Clippy lints
|
2 年之前 |
|
zero
|
79c18a16ec
zkvm: add VALUE_COMMIT_R_BASE
|
2 年之前 |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
2 年之前 |
|
aggstam
|
d61cf39649
chore: naming cleanup
|
3 年之前 |
|
y
|
0e9a9d5bc5
[WIP] Modify parser to support array syntax
|
3 年之前 |
|
y
|
3b52ed4e27
zkas: formatting, typos, clippy
|
3 年之前 |
|
y
|
827ddbb9a0
zkas: fix more panics in Parser
|
3 年之前 |
|
y
|
d7816326fb
zkas: fix panics in Parser
|
3 年之前 |
|
greptile
|
94d101a8ae
zkas: Fix compiler panic when semicolons are missing (#220)
|
3 年之前 |
|
parazyd
|
576a20e057
zkas: Propagate io::Result instead of aborting on errors.
|
3 年之前 |
|
parazyd
|
9b4418931f
zkas: Remove itertools dependency.
|
3 年之前 |
|
parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 年之前 |
|
parazyd
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 年之前 |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 年之前 |
|
parazyd
|
a654341ea4
Remove some unnecessary dependencies.
|
3 年之前 |
|
aggstam
|
0e83156cdd
src: removed coin_blind references
|
3 年之前 |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 年之前 |
