issues
search
pluto
/
web-prover-circuits
Circuits for Pluto's `web-prover`
Apache License 2.0
12
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: verify ciphertext
#61
lonerapier
closed
3 days ago
2
question: should we start padding inputs with `256` or `-1` instead of `0`?
#60
Autoparallel
opened
3 days ago
1
test(chacha): NIVC full test with 40 word fold
#59
Autoparallel
opened
3 days ago
2
feat: preferable to have chacha take in bytes instead of bits.
#58
0xJepsen
opened
4 days ago
1
Fix Github CI
#57
mattes
closed
4 days ago
0
fix: constrain HTTP and JSON to have valid structure
#56
Autoparallel
opened
5 days ago
0
feat: public params artifact
#55
Autoparallel
opened
6 days ago
3
feat: foldable ChaCha20 circuit
#54
Autoparallel
closed
4 days ago
1
feat: encryption circuit verifies ciphertext hash from `step_in`
#53
Autoparallel
opened
6 days ago
0
feat(artifacts): generate mock `AuxParams` for future download flow
#52
Autoparallel
opened
6 days ago
0
feat: chacha20
#51
0xJepsen
closed
4 days ago
1
Revert "Chacha20"
#50
0xJepsen
closed
6 days ago
0
Chacha20
#49
0xJepsen
closed
1 week ago
1
feat: Foldable Chacha20
#48
0xJepsen
closed
1 week ago
0
feat: adaptable foldable AES circuit
#47
Autoparallel
closed
6 days ago
1
feat: do selective hashing in generic chunked AES
#46
Autoparallel
closed
6 days ago
0
feat: nonzero `DataHasher`
#45
Autoparallel
closed
1 week ago
1
feat: generic chunked aes nivc
#44
Autoparallel
closed
1 week ago
3
fix: aes-gctr-nivc
#43
Autoparallel
closed
1 week ago
0
Fix/artifacts
#42
lonerapier
closed
1 week ago
0
feat: hash-based JSON circuit
#41
Autoparallel
opened
1 week ago
2
feat: hash-based HTTP circuits
#40
Autoparallel
closed
1 week ago
1
fix: hash circom file
#39
lonerapier
closed
1 week ago
0
feat: NIVC Hash Chain
#38
0xJepsen
closed
2 weeks ago
0
perf: partial hashing
#37
Autoparallel
closed
1 week ago
1
feat: NIVC hash chain
#36
Autoparallel
closed
2 weeks ago
4
feat: byte pack NIVC
#35
Autoparallel
closed
2 weeks ago
0
refactor: reduce circuit public io
#34
Autoparallel
closed
2 weeks ago
0
increase `ParseAndLockStartLine` maxes
#33
Autoparallel
closed
2 weeks ago
1
fix: extract circuit
#32
lonerapier
closed
2 weeks ago
2
ci: witcalc bin files are not being created
#31
lonerapier
closed
3 weeks ago
0
circuits: extra large r1cs file sizes
#30
lonerapier
closed
3 weeks ago
0
remove var usage in lock header
#29
lonerapier
closed
3 weeks ago
2
golf: AES-GCTR-NIVc
#28
0xJepsen
closed
3 weeks ago
0
http: universal url match
#27
lonerapier
opened
3 weeks ago
1
ci: test for and display circuit constraint counts
#26
Autoparallel
opened
3 weeks ago
0
golf: `JsonMaskObjectNIVC`
#25
Autoparallel
opened
3 weeks ago
3
feat: AES NIVC + build
#24
Autoparallel
closed
3 weeks ago
0
Unify all NVIC circuits for a single web-proof circuit
#23
0xJepsen
closed
3 weeks ago
4
update `parser-attestor` usage
#22
Autoparallel
closed
3 weeks ago
2
create `builds/` dir with `target_*b` dirs and update artifact/release CI
#21
Autoparallel
closed
3 weeks ago
0
Migrate aes
#20
0xJepsen
closed
3 weeks ago
0
create NIVC implementation with `aes-proof` + `parser-attestor` circuits
#19
lonerapier
closed
3 weeks ago
2
cleanup: docs
#18
lonerapier
opened
3 weeks ago
0
cleanup: remove unused circuits and tests
#17
lonerapier
opened
3 weeks ago
0
tests/ci: get mocha circuit tests passing prior to any release
#16
Autoparallel
closed
2 weeks ago
2
ci: semantic release
#15
lonerapier
closed
3 weeks ago
0
research: General purpose approach for authenticated folding data
#14
devloper
closed
6 days ago
2
feat: download artifact and attach at release
#13
lonerapier
closed
3 weeks ago
2
do not publish to npm on each release
#12
lonerapier
closed
3 weeks ago
2
Next