12 Commits

Author SHA1 Message Date
Alejandro Cabeza Romero
f9ce1c141c
Fix poc file name. Add to release. 2025-09-08 12:52:30 +02:00
Álex
4930c5cc5a
ci(circuits): Compile and bundle proof of claim. (#98) 2025-09-08 12:15:50 +02:00
Álex
b2905f90bd
refactor(ci): Abstract witness generator into action (#97)
* Asbtract witness generator compilation and bundling into action.
* Rename arch names so they follow Rust's standard.
2025-09-05 17:07:35 +02:00
Álex
dfeaea6315
chore(circuits): Bundle PoQ and ZKSign (#96)
* Add PoQ bundling.
* Add ZKSign bundling.
2025-09-05 16:58:52 +02:00
Álex
7f333d44cb
fix(ci): Fix circuit tag parsing. (#93) 2025-09-01 17:53:47 +02:00
Álex
36c647f85e
ci: Publish a circuit release only when tagged appropriately (#92) 2025-09-01 17:09:06 +02:00
Álex
6f898f02b3
ci(circuits): Simplify makefiles (#91)
* Simplify witness generator makefile.
* Simplify prover makefile.
2025-09-01 16:31:04 +02:00
Álex
7f75894323
ci(circuits): Static linking (#90)
* Add static linking to witness generator, prover and verifier.
* Remove DLL bundling in witness generator for Windows' build.
2025-09-01 16:13:14 +02:00
Álex
8e3ed28ecf
ci: Add version tagging to circuit workflow (#87) 2025-09-01 15:28:28 +02:00
Álex
04a8683cde
ci: Split circuit bundle into one per each (#85) 2025-08-07 11:36:29 +02:00
Álex
75a0da2036
ci: Prover (#81)
* Add rapidsnark as submodule.
* Implement prover and verifier building for linux, windows and macos.
2025-08-05 15:44:18 +02:00
Álex
653096c87d
ci: Witness Generator building (#80)
* Implement github workflow for natively building the witness generator in linux, windows and macos.
* Add release publishing.
2025-08-05 15:23:58 +02:00