Features
- add new binaries (#27)
- Add time metrics to emulator, in Msteps/s (#34)
- Improve Emulator Performance (#36)
- feature add zisk core crate (#37)
Other
- Merge new folders structure (#1)
- update to use develop branch (#2)
- Fix github links in Cargo.toml (#3)
- rom.json test data added (#4)
- change main branch to develop (#5)
- update book GHA (#6)
- update actions/upload-artifact@v4 (#7)
- add macos support (#8)
- Improve cargo-zisk (#9)
- remove example (#10)
- fix get_toolchain_download_url (#11)
- fix get_toolchain_download_url (#12)
- Integrate riscv2zisk (#13)
- Implement zisksim using the new SimOptions (#15)
- Add emulator/README.md with riscof testing documentation (#18)
- add Risc Oficial Tests Check gha (#17)
- Ops optimized (#19)
- Trigger release (#28)
- Add logging to release gha (#29)
- Add logging to release gha and fixes (#30)
- fix release gha (#32)
- Fractasy develop (#24)
- fix crate names in release.yml (#38)
- Improve emulator performance (#39)
- Introduce ziskemu as a sim mode and minor fixes (#47)
- Create run_fast (#48)
- WIP witness computation (#49)
- Fractasy optimize emu trace (#50)
- Simplify all Cargo.toml crates (#54)
- Integrated new EmuTrace (#56)
- improve callback performance (#57)
- Implement Emu stats (#55)
- Improve rom execution using a small emutrace (#59)
- unifiy arith-, binary- and mem-* in one crate each (#60)
- Implement ROM save_to_pil() and save_to_bin() (#58)
- Implement full trace required data for secondary SM (#61)
- Integrate secondary inputs and execute the calls (#62)
- Quick-ops state machine skeleton added (#63)
- SetupCtx added, removed proving key path (#64)
- Fix main_sm and improve execution performance (#65)
- Fix passing inputs (#66)
- Create ZiskInst::op_type() (#67)
- main alone state machine prove (#68)
- Sync predecessors (#69)
- feature/add more simple inputs (#71)
- fix ziskemu stats and add cargo-zisk build commnad (#72)
- feature/pil binary update (#73)
- feature/pil binary update (#74)
- Feature/thread controller (#75)
- First Keccak precompiled. Binary basic draft. (#76)
- Main working (#77)
- Feature/pil binary update 2 (#79)
- Improve binary basic executor (#78)
- updated pil-helpers (#84)
- Renaming pil/* subfolders (#86)
- Add instance repository (#88)
- New api2 ready (#93)
- use rust stable (#81)
- remove no needed proofman-hints (#95)
- completely re-work ops (#85)
- Refactor assembly code to use hexadecimal constants (#96)
- added initialise logger function (#98)
- main working (#100)
- simplify machine constructions (#101)
- Feature/update pil mem (#80)
- fix main num_rows (#102)
- add quickstart_dev.md (#103)
- Merging feature/binary_checkpoint to develop (#104)
- Update GitHub access token variable names, improve docs and make emu … (#105)
- Edu/doc_improvements (#107)
- Keeping compatibility with proofman logging changes (#109)
- Document OSX requirements (#108)
- docs: Add WIP warning and licenses to README.md (#113)
- Update the documentation links in the README.md and remove the requir… (#114)
- cargo update + remove .elf restriction in main_sm (#115)
- Updating quick start and quick start dev (#116)
- Improve docs (#117)
- Update quickstart.md with additional setup instructions (#118)
- Default ziskemu n=1000000000. Round up memory read regions to 8n. (#120)
- add syscall keccakf precompile (#121)
- Make deterministic proof and increase performance (#122)
- Add Nix flake for project dependencies (#124)
- Binary SMs refactoring to adapt to ZiskOp and new enums (#127)
- update cargo (#129)
- Updating zisk with latest proofman changes and adding airvals (#132)
- Implement public output zisk instruction and usage (#131)
- fix-sctx (#137)
- ROM SM and ROM merkelizer tool (#136)
- Distributed WC (#134)
- Feature/executor (#140)
- fix doc (#142)
- cargo update (#143)
- Feature/main continuations (#138)
- fix zisk rom clone (#146)
- cargo update (#147)
- fix main.pil (#150)
- Single airgroup (#149)
- Adapting to new changes pil2-proofman and moving to 0.0.7 (#139)
- Adding logger again (#151)
- Cargo update and 0.0.9 (#154)
- 0.0.10 (#155)
- Fix trap_handler offset (#161)
- Quickstart and quickstart dev hackmd fix (#162)
- Verify all + riscof tests fixes (#165)
- Feature/verify all bangkok (#168)
- Fix op_rem_w() overflow, as per RISC-V spec (#169)
- full single aritmethic sm (#156)
- Port arith SMs to use ZiskOp instead of hardcoded opcodes (#170)
- [style] Simplify work with Result (#164)
- Documentation improvements (#172)
- More documentation (#176)
- Feature/documentation3 (#183)
- fix broken CI (#188)
- Update proofman (#186)
- Division check for arith component (#181)
- Cleaning the binary component (#182)
- Memory SM: MemProxy, MemAlign, MemAlignRom, Mem, RomData, InputData. (#153)
- add proofvalue to enable/disable input_data memory (#193)
- Version 0.1.0 (#190)
- Toolchain build/install commands changes (#191)
- Bugs in memory and binary extension (#195)
- Bugs in input_data/rom_data and enhanced verify tool (#196)
- Merge new arch to develop (#203)
- change order airgroup_id, air_id (#206)
- move bus_id() to BusDeviceInstances (#204)
- fix regular counter (#209)
- Fix use rust stable toolchain in GHA (#214)
- Added scripts to update Rust version in Zisk-Rust repo (#199)
- 0.3.0 (#224)