Skip to content

Commit a2b45b9

Browse files
jonathanpwangjonathanpwang
committed
chore: update Cargo.lock
1 parent fd5f7af commit a2b45b9

File tree

3 files changed

+102
-64
lines changed

3 files changed

+102
-64
lines changed

‎.cargo/config.toml‎

Lines changed: 45 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -1,50 +1,50 @@
11
[net]
22
git-fetch-with-cli = true
33

4-
[patch."ssh://git@github.com/axiom-crypto/afs-prototype.git"]
5-
axvm-sdk = { path = "../afs-prototype/../afs-prototype/crates/axvm-sdk", default-features = false }
6-
axvm-benchmarks = { path = "../afs-prototype/../afs-prototype/benchmarks", default-features = false }
7-
cargo-axiom = { path = "../afs-prototype/crates/cargo-axiom", default-features = false }
8-
ax-mod-circuit-builder = { path = "../afs-prototype/crates/circuits/mod-builder", default-features = false }
9-
ax-poseidon2-air = { path = "../afs-prototype/crates/circuits/poseidon2-air", default-features = false }
10-
ax-circuit-primitives = { path = "../afs-prototype/crates/circuits/primitives", default-features = false }
11-
ax-circuit-derive = { path = "../afs-prototype/crates/circuits/derive", default-features = false }
12-
axvm = { path = "../afs-prototype/crates/toolchain/axvm", default-features = false }
13-
axvm-build = { path = "../afs-prototype/crates/toolchain/build", default-features = false }
14-
axvm-instructions = { path = "../afs-prototype/crates/toolchain/instructions", default-features = false }
15-
axvm-instructions-derive = { path = "../afs-prototype/crates/toolchain/instructions/derive", default-features = false }
16-
axvm-macros-common = { path = "../afs-prototype/crates/toolchain/macros", default-features = false }
17-
axvm-platform = { path = "../afs-prototype/crates/toolchain/platform", default-features = false }
18-
axvm-transpiler = { path = "../afs-prototype/crates/toolchain/transpiler", default-features = false }
19-
axvm-circuit = { path = "../afs-prototype/crates/vm", default-features = false }
20-
axvm-circuit-derive = { path = "../afs-prototype/crates/vm/derive", default-features = false }
21-
ax-stark-backend = { path = "../afs-prototype/crates/stark-backend", default-features = false }
22-
ax-stark-sdk = { path = "../afs-prototype/crates/stark-sdk", default-features = false }
4+
# [patch."ssh://git@github.com/axiom-crypto/afs-prototype.git"]
5+
# axvm-sdk = { path = "../afs-prototype/../afs-prototype/crates/axvm-sdk", default-features = false }
6+
# axvm-benchmarks = { path = "../afs-prototype/../afs-prototype/benchmarks", default-features = false }
7+
# cargo-axiom = { path = "../afs-prototype/crates/cargo-axiom", default-features = false }
8+
# ax-mod-circuit-builder = { path = "../afs-prototype/crates/circuits/mod-builder", default-features = false }
9+
# ax-poseidon2-air = { path = "../afs-prototype/crates/circuits/poseidon2-air", default-features = false }
10+
# ax-circuit-primitives = { path = "../afs-prototype/crates/circuits/primitives", default-features = false }
11+
# ax-circuit-derive = { path = "../afs-prototype/crates/circuits/derive", default-features = false }
12+
# axvm = { path = "../afs-prototype/crates/toolchain/axvm", default-features = false }
13+
# axvm-build = { path = "../afs-prototype/crates/toolchain/build", default-features = false }
14+
# axvm-instructions = { path = "../afs-prototype/crates/toolchain/instructions", default-features = false }
15+
# axvm-instructions-derive = { path = "../afs-prototype/crates/toolchain/instructions/derive", default-features = false }
16+
# axvm-macros-common = { path = "../afs-prototype/crates/toolchain/macros", default-features = false }
17+
# axvm-platform = { path = "../afs-prototype/crates/toolchain/platform", default-features = false }
18+
# axvm-transpiler = { path = "../afs-prototype/crates/toolchain/transpiler", default-features = false }
19+
# axvm-circuit = { path = "../afs-prototype/crates/vm", default-features = false }
20+
# axvm-circuit-derive = { path = "../afs-prototype/crates/vm/derive", default-features = false }
21+
# ax-stark-backend = { path = "../afs-prototype/crates/stark-backend", default-features = false }
22+
# ax-stark-sdk = { path = "../afs-prototype/crates/stark-sdk", default-features = false }
2323

2424

25-
# Extensions
26-
axvm-algebra-circuit = { path = "../afs-prototype/extensions/algebra/circuit", default-features = false }
27-
axvm-algebra-transpiler = { path = "../afs-prototype/extensions/algebra/transpiler", default-features = false }
28-
axvm-algebra-guest = { path = "../afs-prototype/extensions/algebra/guest", default-features = false }
29-
axvm-algebra-moduli-setup = { path = "../afs-prototype/extensions/algebra/moduli-setup", default-features = false }
30-
axvm-bigint-circuit = { path = "../afs-prototype/extensions/bigint/circuit", default-features = false }
31-
axvm-bigint-transpiler = { path = "../afs-prototype/extensions/bigint/transpiler", default-features = false }
32-
axvm-bigint-guest = { path = "../afs-prototype/extensions/bigint/guest", default-features = false }
33-
axvm-ecc-circuit = { path = "../afs-prototype/extensions/ecc/circuit", default-features = false }
34-
axvm-ecc-transpiler = { path = "../afs-prototype/extensions/ecc/transpiler", default-features = false }
35-
axvm-ecc-guest = { path = "../afs-prototype/extensions/ecc/guest", default-features = false }
36-
axvm-ecc-sw-setup = { path = "../afs-prototype/extensions/ecc/sw-setup", default-features = false }
37-
axvm-keccak256-circuit = { path = "../afs-prototype/extensions/keccak256/circuit", default-features = false }
38-
axvm-keccak256-transpiler = { path = "../afs-prototype/extensions/keccak256/transpiler", default-features = false }
39-
axvm-keccak256-guest = { path = "../afs-prototype/extensions/keccak256/guest", default-features = false }
40-
axvm-native-circuit = { path = "../afs-prototype/extensions/native/circuit", default-features = false }
41-
axvm-native-compiler = { path = "../afs-prototype/extensions/native/compiler", default-features = false }
42-
axvm-native-compiler-derive = { path = "../afs-prototype/extensions/native/compiler/derive", default-features = false }
43-
axvm-native-recursion = { path = "../afs-prototype/extensions/native/recursion", default-features = false }
44-
axvm-pairing-circuit = { path = "../afs-prototype/extensions/pairing/circuit", default-features = false }
45-
axvm-pairing-transpiler = { path = "../afs-prototype/extensions/pairing/transpiler", default-features = false }
46-
axvm-pairing-guest = { path = "../afs-prototype/extensions/pairing/guest", default-features = false }
47-
axvm-rv32-adapters = { path = "../afs-prototype/extensions/rv32-adapters", default-features = false }
48-
axvm-rv32im-circuit = { path = "../afs-prototype/extensions/rv32im/circuit", default-features = false }
49-
axvm-rv32im-transpiler = { path = "../afs-prototype/extensions/rv32im/transpiler", default-features = false }
50-
axvm-rv32im-guest = { path = "../afs-prototype/extensions/rv32im/guest", default-features = false }
25+
# # Extensions
26+
# axvm-algebra-circuit = { path = "../afs-prototype/extensions/algebra/circuit", default-features = false }
27+
# axvm-algebra-transpiler = { path = "../afs-prototype/extensions/algebra/transpiler", default-features = false }
28+
# axvm-algebra-guest = { path = "../afs-prototype/extensions/algebra/guest", default-features = false }
29+
# axvm-algebra-moduli-setup = { path = "../afs-prototype/extensions/algebra/moduli-setup", default-features = false }
30+
# axvm-bigint-circuit = { path = "../afs-prototype/extensions/bigint/circuit", default-features = false }
31+
# axvm-bigint-transpiler = { path = "../afs-prototype/extensions/bigint/transpiler", default-features = false }
32+
# axvm-bigint-guest = { path = "../afs-prototype/extensions/bigint/guest", default-features = false }
33+
# axvm-ecc-circuit = { path = "../afs-prototype/extensions/ecc/circuit", default-features = false }
34+
# axvm-ecc-transpiler = { path = "../afs-prototype/extensions/ecc/transpiler", default-features = false }
35+
# axvm-ecc-guest = { path = "../afs-prototype/extensions/ecc/guest", default-features = false }
36+
# axvm-ecc-sw-setup = { path = "../afs-prototype/extensions/ecc/sw-setup", default-features = false }
37+
# axvm-keccak256-circuit = { path = "../afs-prototype/extensions/keccak256/circuit", default-features = false }
38+
# axvm-keccak256-transpiler = { path = "../afs-prototype/extensions/keccak256/transpiler", default-features = false }
39+
# axvm-keccak256-guest = { path = "../afs-prototype/extensions/keccak256/guest", default-features = false }
40+
# axvm-native-circuit = { path = "../afs-prototype/extensions/native/circuit", default-features = false }
41+
# axvm-native-compiler = { path = "../afs-prototype/extensions/native/compiler", default-features = false }
42+
# axvm-native-compiler-derive = { path = "../afs-prototype/extensions/native/compiler/derive", default-features = false }
43+
# axvm-native-recursion = { path = "../afs-prototype/extensions/native/recursion", default-features = false }
44+
# axvm-pairing-circuit = { path = "../afs-prototype/extensions/pairing/circuit", default-features = false }
45+
# axvm-pairing-transpiler = { path = "../afs-prototype/extensions/pairing/transpiler", default-features = false }
46+
# axvm-pairing-guest = { path = "../afs-prototype/extensions/pairing/guest", default-features = false }
47+
# axvm-rv32-adapters = { path = "../afs-prototype/extensions/rv32-adapters", default-features = false }
48+
# axvm-rv32im-circuit = { path = "../afs-prototype/extensions/rv32im/circuit", default-features = false }
49+
# axvm-rv32im-transpiler = { path = "../afs-prototype/extensions/rv32im/transpiler", default-features = false }
50+
# axvm-rv32im-guest = { path = "../afs-prototype/extensions/rv32im/guest", default-features = false }

0 commit comments

Comments
 (0)