RV64 support

Deprecates RV32IM in favor of the RV64IMAC instruction set

What's Changed

• feat: modify small value optimization to work with RV64 by @quangvdao in #819
• Add Keccak256 inline, ANDN op to tracer by @danielwlz in #829
• feat: change divisor + andn instructions by @markosg04 in #837
• feat: Add RISC-V architecture test support by @zouguangxian in #839
• fix: Fix RV32imac and RV64imac architecture test failures by @zouguangxian in #842
• feat: Add automated RISC-V architecture testing workflow by @zouguangxian in #844
• chore: add-riscv-arch-test-submodule by @zouguangxian in #850
• Add inline_helpers module and SHA2 tests by @danielwlz in #838
• Move keccak256 to its jolt-inlines own crate, reinstate sha2 tests by @danielwlz in #857
• Virtual registers allocator by @0xAndoroid in #867
• Fix SHA2-256 inline for RV64 by @danielwlz in #866
• refactor: optimize ELF processing by using references instead of owned vectors by @zouguangxian in #874
• feat: make R1CS constraints compile-time constants by @quangvdao in #879
• feat: stream R1CS witness instead of materializing input_polys by @quangvdao in #881
• Use assembler in inline sequences by @0xAndoroid in #888
• Feat/inline sequence fuzzer by @0xAndoroid in #890
• fix: modify matching values for several RISC-V instructions by @zouguangxian in #907
• [JOLT-199] fix: commit_rows stack overflow by @moodlezoup in #914
• [JOLT-129] Omid/inline bigint by @omibo in #906
• Feat/batched sumcheck mem by @0xAndoroid in #916
• feat: enhance RISC-V decoder and cargo execution logging by @zouguangxian in #913
• [JOLT-200] [JOLT-201] Omid/refactor inlines by @omibo in #922
• BLAKE2b and BLAKE3 Inlines by @omibo in #928
• More parallelism in compute_claimed_witness_evals by @moodlezoup in #930
• [JOLT-207] Ref/cleanup inlines by @0xAndoroid in #929
• [JOLT-212] Optimize init_Q by @moodlezoup in #933
• fix: rename jolt-core features and fix arkworks by @sagar-a16z in #937
• perf: booleanity memory optimization [JOLT-206] by @0xAndoroid in #936
• feat: add a trace-only mode to the recursion example by @sagar-a16z in #939
• Omid/inline blake2 rv64 by @omibo in #938
• fix: relocation R_RISCV_HI20 out of range by @zouguangxian in #943
• feat: Add custom getrandom backend for RISC-V bare-metal targets by @zouguangxian in #944
• chore(example): add recover-ecdsa example with ECDSA recovery functionality by @zouguangxian in #945
• nit: jolt_prints fallback to println by @sagar-a16z in #946
• Revert "feat: Add custom getrandom backend for RISC-V bare-metal targets" by @0xAndoroid in #948
• Chore/rm fixtures by @0xAndoroid in #952
• feat: decreasing Number of Virtual Registers for DIV, MUL, REM by @omibo in #947
• Omid/inline blake3 keyed rv64 by @omibo in #951
• Shared EQ(r_cycle, j) state for Stage 5 by @moodlezoup in #953
• chore: support custom getrandom backend for RISC-V bare-metal targets by @zouguangxian in #950
• Implement optimized large degree sumcheck by @andrewmilson in #949
• feat: backtrace support for tracer by @sagar-a16z in #956
• Restore SVO to Spartan via types & custom evaluations by @quangvdao in #903
• [JOLT-159] [JOLT-158] Chore/cleanup by @0xAndoroid in #955
• Fix/jolt book rv64 by @0xAndoroid in #959
• [JOLT-133] Add REV8W virtual instruction by @andrewmilson in #958
• Remove is_virtual from declare_riscv_instr! macro by @andrewmilson in #960
• chore: suggest enabling JOLT_BACKTRACE when not enabled by @sagar-a16z in #966
• [JOLT-208] docs: add comprehensive inline_sequence documentation for RISC-V inst… by @0xAndoroid in #961
• [JOLT-114] Feat/tracing logs by @0xAndoroid in #962
• feat: add malloc shim for C library compatibility in no_std environment by @zouguangxian in #964
• feat: squash new prover in instruction read raf checking by @quangvdao in #963
• Use split Eq poly optimization for MLEs product sumcheck by @andrewmilson in #965
• Feat/delayed reduction by @0xAndoroid in #970
• Parallelize over lookup indices when initializing suffix polys by @moodlezoup in #973
• [JOLT-166] RV64 by @0xAndoroid in #805

New Contributors

• @danielwlz made their first contribution in #829
• @andrewmilson made their first contribution in #949

Full Changelog: v0.2.2-alpha...v0.3.0-alpha

v0.2.2-alpha

What's Changed

• chore(deps): bump tracing-subscriber from 0.3.19 to 0.3.20 by @dependabot[bot] in #925
• Jolt book tweaks by @moodlezoup in #924
• clippy: small nits by @tcoratger in #942

New Contributors

• @tcoratger made their first contribution in #942

Full Changelog: v0.2.1-alpha...v0.2.2-alpha

v0.2.1-alpha

Bug fixes and optimizations

What's Changed

• fix: cycle tracking marker id length by @sagar-a16z in #848
• Better batching sumcheck prep parallelism by @markosg04 in #845
• Feat/verifier memory layout checks by @moodlezoup in #847
• Revert "Better batching sumcheck prep parallelism" by @moodlezoup in #851
• fix: add a stack canary to prevent stack overflows by @sagar-a16z in #849
• fix: optimize Cycle size to improve tracer memory usage by @sagar-a16z in #852
• Omid/dispatch by @omibo in #828
• Optimisations/polynomial evaluations by @abiswas3 in #843
• [JOLT-180] optimize/Shift right bitmask evaluate MLE by @0xAndoroid in #855
• feat: add utility to write traces to a file by @sagar-a16z in #854
• prepare sumcheck parallelism (fixed) by @markosg04 in #853
• chore: enhance devcontainer with oh-my-zsh plugins and dependencies by @zouguangxian in #856
• update actions version by @0xAndoroid in #864
• Bump slab from 0.4.10 to 0.4.11 by @dependabot[bot] in #868
• chore: update gitignore rules by @zouguangxian in #871
• Feat: transcript optimizations by @markosg04 in #859
• feat: support both nightly and stable guest toolchains by @sagar-a16z in #865
• refactor: remove BMNTV by @markosg04 in #876
• add a verifier example by @sagar-a16z in #869
• feat: support for a target-specific CC environment variable by @zouguangxian in #878
• refactor: change elf_contents parameter from Vec to &[u8] for better performance by @zouguangxian in #880
• feat: support resumable downloads when installing toolchain by @zouguangxian in #877
• fix: script to generate test fixtures by @sagar-a16z in #882
• fix: remove redundant fixtures script by @sagar-a16z in #883
• Optimisations/shout section 6.2 by @abiswas3 in #860
• fix: make script use relative paths by @sagar-a16z in #884
• add git attributes by @0xAndoroid in #885
• [JOLT-103] feat: allocative by @moodlezoup in #861
• fix: merge jolt-verifier crate into jolt-sdk by @sagar-a16z in #886
• remove reference implementations by @0xAndoroid in #887
• feat: Large d multiplication optimization by @JuI3s in #832
• allocative ra virtual sumcheck by @0xAndoroid in #889
• fix: stale verifier example by @sagar-a16z in #893
• fix: exclude the verifier example from benchmarks by @sagar-a16z in #895
• fix: prevent overflow in negative i64/i128 field conversions by @MozirDmitriy in #894
• fix div and rem sequences by @0xAndoroid in #898
• feat: better parallelism and miscellaneous optimizations by @markosg04 in #870
• Revert "fix div and rem sequences" by @0xAndoroid in #899
• feat: Split host/guest responsibilities and add recursion example with guest module by @zouguangxian in #891
• fix: add option to deserialize Serializable objects without validation by @sagar-a16z in #900
• fix: cargo.lock by @sagar-a16z in #901
• refactor: remove unused poly utils by @markosg04 in #896
• Feat/docs revamp by @moodlezoup in #897
• chore: implement the suggestions in PR-891 by @zouguangxian in #902
• refactor: streamline cargo command execution and enhance error reporting by @zouguangxian in #908
• docs/inlines by @0xAndoroid in #909
• fix(msm): avoid i64::MIN overflow in I64Scalars MSM by @radik878 in #917
• docs: Round out architecture section by @moodlezoup in #918
• fix: latex typo by @moodlezoup in #919
• fix: latex typo by @moodlezoup in #920

New Contributors

• @MozirDmitriy made their first contribution in #894
• @radik878 made their first contribution in #917

Full Changelog: spike-v1.1.1...v0.2.1-alpha

Spike v1.1.1

RISC-V ISA Simulator

Twist and Shout initial release

Merge pull request #809 from a16z/refactor/jolt-trait

Twist and Shout

v0.1.0-alpha

fix: prevent bounds error when bytecode is at higher address (#790)