Skip to content

Commit ae578a2

Browse files
authored
chore: delete Ultra Vanilla CIVC (#13669)
This was an experimental class introduced by Cody for doing "vanilla" UH recursion with an interface similar to CIVC. Aside from the fact that we have no need for something like this, it has no hope of being useful because it relies on the mechanism of appending recursive verifiers to input circuits, similar to our original design for CIVC. This isn't sound because there's no way for the verifier to know that the recursive verifications were performed. This is precisely why Aztec has kernel circuits which are specifically designed to perform recursion and are fixed by the protocol.
1 parent c8acae0 commit ae578a2

File tree

8 files changed

+1
-334
lines changed

8 files changed

+1
-334
lines changed

barretenberg/cpp/scripts/line_count.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,6 @@
5555
"transcript": 1,
5656
"translator_vm": 1,
5757
"ultra_honk": 1,
58-
"ultra_vanilla_client_ivc": 0,
5958
"vm": 0,
6059
"vm2": 0,
6160
"wasi": 0,

barretenberg/cpp/src/CMakeLists.txt

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,6 @@ add_subdirectory(barretenberg/relations)
9494
add_subdirectory(barretenberg/serialize)
9595
add_subdirectory(barretenberg/solidity_helpers)
9696
add_subdirectory(barretenberg/srs)
97-
add_subdirectory(barretenberg/ultra_vanilla_client_ivc)
9897
add_subdirectory(barretenberg/stdlib)
9998
add_subdirectory(barretenberg/stdlib_circuit_builders)
10099
add_subdirectory(barretenberg/sumcheck)
@@ -154,7 +153,6 @@ set(BARRETENBERG_TARGET_OBJECTS
154153
$<TARGET_OBJECTS:protogalaxy_objects>
155154
$<TARGET_OBJECTS:relations_objects>
156155
$<TARGET_OBJECTS:srs_objects>
157-
$<TARGET_OBJECTS:ultra_vanilla_client_ivc_objects>
158156
$<TARGET_OBJECTS:stdlib_aes128_objects>
159157
$<TARGET_OBJECTS:stdlib_blake2s_objects>
160158
$<TARGET_OBJECTS:stdlib_blake3s_objects>
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
barretenberg_module(api client_ivc ultra_vanilla_client_ivc dsl libdeflate::libdeflate_static)
1+
barretenberg_module(api client_ivc dsl libdeflate::libdeflate_static)

barretenberg/cpp/src/barretenberg/api/api_ultra_honk.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@
1313
#include "barretenberg/honk/proof_system/types/proof.hpp"
1414
#include "barretenberg/plonk_honk_shared/types/aggregation_object_type.hpp"
1515
#include "barretenberg/srs/global_crs.hpp"
16-
#include "barretenberg/ultra_vanilla_client_ivc/ultra_vanilla_client_ivc.hpp"
1716

1817
namespace bb {
1918

barretenberg/cpp/src/barretenberg/ultra_vanilla_client_ivc/CMakeLists.txt

Lines changed: 0 additions & 1 deletion
This file was deleted.

barretenberg/cpp/src/barretenberg/ultra_vanilla_client_ivc/ultra_vanilla_client_ivc.cpp

Lines changed: 0 additions & 107 deletions
This file was deleted.

barretenberg/cpp/src/barretenberg/ultra_vanilla_client_ivc/ultra_vanilla_client_ivc.hpp

Lines changed: 0 additions & 128 deletions
This file was deleted.

barretenberg/cpp/src/barretenberg/ultra_vanilla_client_ivc/ultra_vanilla_client_ivc.test.cpp

Lines changed: 0 additions & 93 deletions
This file was deleted.

0 commit comments

Comments
 (0)