 ghassmo
|
4e0cfd6a89
add darkwiki and darkwikid to BINS in Makefile
|
4 years ago |
|
ghassmo
|
9193c37960
general clean up for taud & add refresh flag to both taud and darkwikid for cleaning up local data and run fresh start
|
4 years ago |
|
Luther Blissett
|
e5f212a4ad
Update project dependencies.
|
4 years ago |
|
Luther Blissett
|
0fa8b27d99
Makefile: Include example/simple.zk in PROOFS.
|
4 years ago |
|
Luther Blissett
|
bc028798d9
Makefile: Add missing dependencies.
|
4 years ago |
|
Luther Blissett
|
99e616e0fd
Makefile: Move zkas into separate target for proper .zk dependencies.
|
4 years ago |
|
Luther Blissett
|
a24d9db8e9
tests: Add test units to test all zkvm opcodes.
|
4 years ago |
|
Luther Blissett
|
acc5773230
zkas: Clippy lints.
|
4 years ago |
|
Luther Blissett
|
deaed0bdc8
Update zkas proofs merkle root opcode.
|
4 years ago |
|
Luther Blissett
|
7c1ed1f0ef
zk/vm: Update for new functionality.
|
4 years ago |
|
Luther Blissett
|
40d909552c
zkas: Enforce range checks to be 64 or 253 bits.
|
4 years ago |
|
Luther Blissett
|
90407fa4f2
contrib/zk: Add new things in vim and vis lexers.
|
4 years ago |
|
Luther Blissett
|
a1732be74e
zkas/compiler: Introduce .literal section in bincode, and add remaining code.
|
4 years ago |
|
Luther Blissett
|
cfbc6c7573
zkas/compiler: Extend for literal type support.
|
4 years ago |
|
Luther Blissett
|
be0b9bfc70
zkas/analyzer: Reintroduce interactive analysis.
|
4 years ago |
|
Luther Blissett
|
ecbedd8894
zkas/analyzer: Rewrite analyzer.
|
4 years ago |
|
Luther Blissett
|
ed1bc8c30f
zkas/parser: Implement circuit section parsing.
|
4 years ago |
|
Luther Blissett
|
dca691fa55
zkas/ast: Derive Clone,Debug and add support for functions as args.
|
4 years ago |
|
Luther Blissett
|
7c104ad156
zkas/error: Fix caret pad.
|
4 years ago |
|
Luther Blissett
|
6dfafe7f2f
zkas: Add more opcodes and rework a few functions.
|
4 years ago |
|
Luther Blissett
|
4ea777a718
zkas/parser: Document circuit parsing goals.
|
4 years ago |
|
Luther Blissett
|
024414be98
zkas/parser: Improve and clean up, and remove circuit parsing.
|
4 years ago |
|
Luther Blissett
|
fe7a30c01e
zkas/lexer: Improve and clean up.
|
4 years ago |
|
Luther Blissett
|
9d301fb161
zkas/ast: Introduce literal types.
|
4 years ago |
|
Luther Blissett
|
d8f438f28c
zkas: Special case in ErrorEmitter for less noise.
|
4 years ago |
|
Luther Blissett
|
2234d6b812
zkas: Remove GreaterThan opcode.
|
4 years ago |
|
Luther Blissett
|
d204c2256d
zkas: Number parsing, and be more explicit about sections.
|
4 years ago |
|
Luther Blissett
|
086a618a05
zkas: Replace tabs in source with spaces when reading file.
|
4 years ago |
|
Luther Blissett
|
b0d8217965
zkas: Rework error subsystem and add warnings.
|
4 years ago |
|
aggstam
|
68697ce3a4
lilith: rpc added
|
4 years ago |
