 zero
|
1a1a26e396
Revert "sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs"
|
2 years ago |
|
zero
|
dcf419b0ca
sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs
|
2 years ago |
|
skoupidi
|
b2d2c7a4e8
chore: fmt
|
2 years ago |
|
cheeese
|
0aad2dfb06
zkas/parser: add check for function to be a symbol
|
2 years ago |
|
zero
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
2 years ago |
|
parazyd
|
195c477caa
chore: Clippy lints
|
2 years ago |
|
zero
|
79c18a16ec
zkvm: add VALUE_COMMIT_R_BASE
|
2 years ago |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
2 years ago |
|
aggstam
|
d61cf39649
chore: naming cleanup
|
2 years ago |
|
y
|
0e9a9d5bc5
[WIP] Modify parser to support array syntax
|
2 years ago |
|
y
|
3b52ed4e27
zkas: formatting, typos, clippy
|
3 years ago |
|
y
|
827ddbb9a0
zkas: fix more panics in Parser
|
3 years ago |
|
y
|
d7816326fb
zkas: fix panics in Parser
|
3 years ago |
|
greptile
|
94d101a8ae
zkas: Fix compiler panic when semicolons are missing (#220)
|
3 years ago |
|
parazyd
|
576a20e057
zkas: Propagate io::Result instead of aborting on errors.
|
3 years ago |
|
parazyd
|
9b4418931f
zkas: Remove itertools dependency.
|
3 years ago |
|
parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 years ago |
|
parazyd
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
parazyd
|
a654341ea4
Remove some unnecessary dependencies.
|
3 years ago |
|
aggstam
|
0e83156cdd
src: removed coin_blind references
|
3 years ago |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 years ago |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 years ago |
|
parazyd
|
71cd3064d6
Update license year.
|
3 years ago |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
3 years ago |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
 x
|
673d166311
zkas: add code comments
|
3 years ago |
|
Luther Blissett
|
c93034f164
zkas: Write the circuit namespace in the bincode.
|
3 years ago |
|
Luther Blissett
|
acc5773230
zkas: Clippy lints.
|
4 years ago |
|
Luther Blissett
|
ed1bc8c30f
zkas/parser: Implement circuit section parsing.
|
4 years ago |
