Merge pull request 0xPolygonHermez#579 from 0xPolygonHermez/develop

Merge develop (0.12.0) into main

-------------

Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com>
Co-authored-by: agnusmor <100322135+agnusmor@users.noreply.github.com>
Co-authored-by: zkronos73 <zkronos73@gmail.com>
Co-authored-by: Roger Taulé Buxadera <55488871+RogerTaule@users.noreply.github.com>
Co-authored-by: zkronos73 <94566827+zkronos73@users.noreply.github.com>
Co-authored-by: RogerTaule <roger.taulee@gmail.com>
Co-authored-by: Héctor Masip Ardevol <hmasip@polygon.technology>
Co-authored-by: rickb80 <75077385+rickb80@users.noreply.github.com>
Co-authored-by: fractasy <fractasy@gmail.com>

Merge pull request 0xPolygonHermez#530 from 0xPolygonHermez/fix/gha-r…

…elease-platform

Fix variable reference for platform name in release workflow

Merge pull request 0xPolygonHermez#465 from 0xPolygonHermez/fix/relea…

…se-gha-apt

Fix release gha apt update

Update proof verification commands in documentation (0xPolygonHermez#437

)

Merge pull request 0xPolygonHermez#359 from 0xPolygonHermez/zisk-vers…

…ion-0.8.1

Change zisk version to 0.8.1

Refactor shell profile detection logic

Merge branch 'develop'

Fix version

Pre develop 0.6.0 (0xPolygonHermez#315)

* Added GPU support

---------

Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com>
Co-authored-by: agnusmor <100322135+agnusmor@users.noreply.github.com>
Co-authored-by: zkronos73 <zkronos73@gmail.com>
Co-authored-by: Roger Taulé Buxadera <55488871+RogerTaule@users.noreply.github.com>
Co-authored-by: zkronos73 <94566827+zkronos73@users.noreply.github.com>
Co-authored-by: RogerTaule <roger.taulee@gmail.com>
Co-authored-by: Héctor Masip Ardevol <hmasip@polygon.technology>
Co-authored-by: Sam Johnson <sam@durosoft.com>
Co-authored-by: rickb80 <75077385+rickb80@users.noreply.github.com>
Co-authored-by: fractasy <fractasy@gmail.com>

Pre develop 0.5.0 (0xPolygonHermez#290)

* Optimization of the SM tables
* Reduce system memory usage when generating a proof
* Make input data file optional in all `cargo-zisk` CLI commands
* Add `cargo-zisk check-setup` command to create initial constant tree files and add it to ziskup
* Add optional parameter to `cargo-zisk prove` command to specify keccak script file location (other than the default $HOME/.zisk/bin)
* Build `cargo-zisk` with distributed feature enabled by default. Update documentation
* Transpiler improvements to minimize witness computation
* Emulator assembly code generator and makefile, generating minimal traces
* Executor can call emulator in Rust (default) or in assembly base on configuration

---------

Co-authored-by: Xavier Pinsach <10213118+xavi-pinsach@users.noreply.github.com>
Co-authored-by: agnusmor <100322135+agnusmor@users.noreply.github.com>
Co-authored-by: zkronos73 <zkronos73@gmail.com>
Co-authored-by: Roger Taulé Buxadera <55488871+RogerTaule@users.noreply.github.com>
Co-authored-by: zkronos73 <94566827+zkronos73@users.noreply.github.com>
Co-authored-by: RogerTaule <roger.taulee@gmail.com>
Co-authored-by: Héctor Masip Ardevol <hmasip@polygon.technology>
Co-authored-by: Sam Johnson <sam@durosoft.com>
Co-authored-by: rickb80 <75077385+rickb80@users.noreply.github.com>
Co-authored-by: fractasy <fractasy@gmail.com>