Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: openvm-org/openvm
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 0e9edce29d581389534b04c579cffdbb74d35022
Choose a base ref
..
head repository: openvm-org/openvm
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 292137c244ce2ee205995a25e42e109932667faa
Choose a head ref
Showing with 4,330 additions and 3,745 deletions.
  1. +0 −6 .github/workflows/benchmark-call.yml
  2. +0 −39 .github/workflows/recursion-bench.yml
  3. +324 −91 Cargo.lock
  4. +15 −11 Cargo.toml
  5. +2 −7 axiom-vm/tests/integration_test.rs
  6. +11 −0 benchmarks/Cargo.toml
  7. +20 −0 benchmarks/README.md
  8. +26 −0 benchmarks/benches/fibonacci_execute.rs
  9. +6 −2 circuits/ecc/src/field_expression/builder.rs
  10. +12 −2 circuits/primitives/src/assert_less_than/mod.rs
  11. +8 −2 circuits/primitives/src/bigint/check_carry_mod_to_zero.rs
  12. +8 −2 circuits/primitives/src/bigint/check_carry_to_zero.rs
  13. +6 −1 circuits/primitives/src/is_equal/mod.rs
  14. +6 −1 circuits/primitives/src/is_equal_array/mod.rs
  15. +12 −2 circuits/primitives/src/is_less_than/mod.rs
  16. +12 −2 circuits/primitives/src/is_less_than_array/mod.rs
  17. +6 −1 circuits/primitives/src/is_zero/mod.rs
  18. +31 −32 circuits/primitives/src/is_zero/tests.rs
  19. +12 −1 circuits/primitives/src/utils.rs
  20. +3 −3 docs/specs/vm/ISA.md
  21. +31 −31 docs/specs/vm/RISCV.md
  22. +0 −1 lib/ecc-execution/src/curves/bls12_381/field.rs
  23. +3 −11 lib/recursion/Cargo.toml
  24. +2 −0 lib/recursion/rust-toolchain.toml
  25. +0 −128 lib/recursion/src/bin/small_e2e.rs
  26. +29 −15 lib/recursion/src/fri/two_adic_pcs.rs
  27. +0 −1 rust-toolchain
  28. +3 −0 rust-toolchain.toml
  29. +6 −6 stark-backend/src/air_builders/debug/mod.rs
  30. +7 −7 stark-backend/src/air_builders/prover.rs
  31. +5 −2 stark-backend/src/air_builders/sub.rs
  32. +1 −3 stark-backend/src/air_builders/symbolic/mod.rs
  33. +3 −3 stark-backend/src/air_builders/verifier.rs
  34. +1 −1 stark-backend/src/commit.rs
  35. +1 −1 stark-backend/src/interaction/rap.rs
  36. +3 −3 stark-backend/src/interaction/trace.rs
  37. +2 −2 stark-backend/src/keygen/view.rs
  38. +2 −0 stark-backend/src/prover/mod.rs
  39. +2 −1 stark-backend/src/prover/trace.rs
  40. +1 −0 stark-backend/src/rap.rs
  41. +2 −4 stark-sdk/src/config/baby_bear_poseidon2.rs
  42. +2 −4 stark-sdk/src/config/baby_bear_poseidon2_outer.rs
  43. +3 −3 stark-sdk/src/dummy_airs/interaction/dummy_interaction_air.rs
  44. +5 −0 stark-sdk/src/lib.rs
  45. +1 −2 toolchain/build/src/config.rs
  46. +35 −28 toolchain/instructions/src/lib.rs
  47. +15 −3 toolchain/instructions/src/program.rs
  48. +0 −23 toolchain/instructions/src/riscv.rs
  49. +22 −29 toolchain/native-compiler/src/asm/compiler.rs
  50. +9 −12 toolchain/native-compiler/src/asm/instruction.rs
  51. +16 −38 toolchain/native-compiler/src/conversion/mod.rs
  52. +2 −2 toolchain/native-compiler/src/ir/builder.rs
  53. +21 −0 toolchain/native-compiler/src/ir/fri.rs
  54. +8 −12 toolchain/native-compiler/src/ir/instructions.rs
  55. +0 −20 toolchain/native-compiler/src/ir/keccak.rs
  56. +1 −1 toolchain/native-compiler/src/ir/mod.rs
  57. +89 −0 toolchain/native-compiler/tests/fri_fold.rs
  58. +2 −10 toolchain/riscv/axvm/Cargo.toml
  59. +64 −0 toolchain/riscv/axvm/src/host.rs
  60. +14 −5 toolchain/riscv/axvm/src/intrinsics/io.rs
  61. +3 −1 toolchain/riscv/axvm/src/intrinsics/mod.rs
  62. +46 −12 toolchain/riscv/axvm/src/io.rs
  63. +4 −3 toolchain/riscv/axvm/src/lib.rs
  64. +0 −591 toolchain/riscv/axvm/src/serde/deserializer.rs
  65. +0 −70 toolchain/riscv/axvm/src/serde/err.rs
  66. +0 −89 toolchain/riscv/axvm/src/serde/mod.rs
  67. +0 −510 toolchain/riscv/axvm/src/serde/serializer.rs
  68. +4 −0 toolchain/riscv/examples/hint/program/.cargo/config.toml
  69. +8 −2 toolchain/riscv/examples/hint/program/src/main.rs
  70. +12 −0 toolchain/riscv/examples/read/program/Cargo.toml
  71. +22 −0 toolchain/riscv/examples/read/program/src/main.rs
  72. +8 −0 toolchain/riscv/examples/reveal/program/Cargo.toml
  73. +12 −0 toolchain/riscv/examples/reveal/program/src/main.rs
  74. +6 −0 toolchain/riscv/platform/Cargo.toml
  75. +2 −2 toolchain/riscv/platform/README.md
  76. +7 −5 toolchain/riscv/platform/src/constants.rs
  77. +9 −0 toolchain/riscv/platform/src/{intrinsics/mod.rs → intrinsics.rs}
  78. +3 −1 toolchain/riscv/platform/src/lib.rs
  79. +1 −0 toolchain/riscv/transpiler/Cargo.toml
  80. +6 −0 toolchain/riscv/transpiler/src/elf.rs
  81. +2 −1 toolchain/riscv/transpiler/src/lib.rs
  82. +36 −23 toolchain/riscv/transpiler/src/rrs.rs
  83. +78 −10 toolchain/riscv/transpiler/src/tests.rs
  84. +2 −0 vm/Cargo.toml
  85. +114 −113 vm/src/arch/chip_set.rs
  86. +40 −36 vm/src/arch/chips.rs
  87. +25 −16 vm/src/arch/config.rs
  88. +7 −9 vm/src/arch/segment.rs
  89. +2 −5 vm/src/arch/testing/mod.rs
  90. +11 −13 vm/src/arch/vm.rs
  91. +0 −267 vm/src/intrinsics/hashes/keccak/hasher/air.rs
  92. +0 −295 vm/src/intrinsics/hashes/keccak/hasher/bridge.rs
  93. +0 −126 vm/src/intrinsics/hashes/keccak/hasher/tests.rs
  94. +0 −3 vm/src/intrinsics/hashes/keccak/mod.rs
  95. 0 vm/src/intrinsics/hashes/{keccak/hasher → keccak256}/README.md
  96. +637 −0 vm/src/intrinsics/hashes/keccak256/air.rs
  97. +42 −30 vm/src/intrinsics/hashes/{keccak/hasher → keccak256}/columns.rs
  98. +45 −47 vm/src/intrinsics/hashes/{keccak/hasher → keccak256}/mod.rs
  99. +123 −59 toolchain/native-compiler/tests/keccak256.rs → vm/src/intrinsics/hashes/keccak256/tests.rs
  100. +70 −37 vm/src/intrinsics/hashes/{keccak/hasher → keccak256}/trace.rs
  101. 0 vm/src/intrinsics/hashes/{keccak/hasher → keccak256}/utils.rs
  102. +1 −1 vm/src/intrinsics/hashes/mod.rs
  103. +9 −0 vm/src/intrinsics/hashes/poseidon2/mod.rs
  104. +17 −2 vm/src/intrinsics/int256/mod.rs
  105. +172 −18 vm/src/intrinsics/int256/tests.rs
  106. +4 −4 vm/src/intrinsics/modular/muldiv.rs
  107. +3 −5 vm/src/intrinsics/modular/tests.rs
  108. +577 −0 vm/src/kernels/fri/mod.rs
  109. +161 −0 vm/src/kernels/fri/tests.rs
  110. +1 −1 vm/src/kernels/mod.rs
  111. +0 −24 vm/src/kernels/modular/mod.rs
  112. +1 −1 vm/src/kernels/public_values/columns.rs
  113. +2 −2 vm/src/rv32im/adapters/alu.rs
  114. +9 −18 vm/src/rv32im/adapters/heap.rs
  115. +303 −0 vm/src/rv32im/adapters/heap_branch.rs
  116. +1 −1 vm/src/rv32im/adapters/hintstore.rs
  117. +1 −1 vm/src/rv32im/adapters/loadstore.rs
  118. +19 −2 vm/src/rv32im/adapters/mod.rs
  119. +1 −0 vm/src/rv32im/adapters/rdwrite.rs
  120. +34 −31 vm/src/rv32im/adapters/vec_heap.rs
  121. +7 −7 vm/src/rv32im/auipc/tests.rs
  122. +13 −13 vm/src/rv32im/base_alu/tests.rs
  123. +14 −14 vm/src/rv32im/branch_eq/tests.rs
  124. +14 −14 vm/src/rv32im/branch_lt/tests.rs
  125. +13 −13 vm/src/rv32im/divrem/tests.rs
  126. +7 −7 vm/src/rv32im/hintstore/tests.rs
  127. +7 −7 vm/src/rv32im/jal_lui/tests.rs
  128. +7 −7 vm/src/rv32im/jalr/tests.rs
  129. +13 −13 vm/src/rv32im/less_than/tests.rs
  130. +7 −7 vm/src/rv32im/load_sign_extend/tests.rs
  131. +7 −7 vm/src/rv32im/loadstore/tests.rs
  132. +13 −13 vm/src/rv32im/mul/tests.rs
  133. +13 −13 vm/src/rv32im/mulh/tests.rs
  134. +13 −13 vm/src/rv32im/shift/tests.rs
  135. +426 −387 vm/src/system/memory/manager/memory.rs
  136. +28 −36 vm/src/system/memory/manager/mod.rs
  137. +4 −3 vm/src/system/memory/merkle/mod.rs
  138. +4 −3 vm/src/system/memory/merkle/trace.rs
  139. +3 −3 vm/src/system/memory/offline_checker/bridge.rs
  140. +6 −2 vm/src/system/memory/offline_checker/columns.rs
  141. +4 −3 vm/src/system/memory/persistent.rs
  142. +4 −10 vm/src/system/memory/tests.rs
  143. +6 −2 vm/src/system/phantom/mod.rs
  144. +3 −2 vm/src/system/program/util.rs
  145. +9 −12 vm/src/utils/stark_utils.rs
  146. +27 −0 vm/src/utils/test_utils.rs
  147. +22 −30 vm/tests/integration_test.rs
6 changes: 0 additions & 6 deletions .github/workflows/benchmark-call.yml
Original file line number Diff line number Diff line change
@@ -92,12 +92,6 @@ jobs:
run: |
python3 ../ci/scripts/bench.py $BIN_NAME $CMD_ARGS
- name: Run benchmark
if: inputs.benchmark_name == 'small_e2e'
working-directory: lib/recursion
run: |
python3 ../../ci/scripts/bench.py $BIN_NAME $CMD_ARGS
######################################################
- name: Store metric json and compute diff with previous
run: |
39 changes: 0 additions & 39 deletions .github/workflows/recursion-bench.yml

This file was deleted.

Loading