 skoupidi
|
8c33d59f40
chore: updated all repo references to codeberg
|
2 years ago |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
freerangedev
|
40286532cf
sdk-py: cargo fmt
|
3 years ago |
|
freerangedev
|
46ed0a24b0
sdk-py: Add ZkCircuit, Proof, ProvingKey, VerifiyingKey, ZkBinary
|
3 years ago |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 years ago |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 years ago |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 years ago |
|
parazyd
|
5176dc7df0
zkas: Add opcodes for equality constraints of Base and EcPoint.
|
3 years ago |
|
Luther Blissett
|
c93034f164
zkas: Write the circuit namespace in the bincode.
|
3 years ago |
|
Luther Blissett
|
13a6334687
doc/zkas: Update bincode reference.
|
4 years ago |
|
Joshua Trujillo
|
48ffde789b
doc/zkas/: add syntax reference
|
4 years ago |
|
parazyd
|
d84f4c21b0
book: Move namespace from book to doc.
|
4 years ago |
