Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add poseidon relations to UltraKeccak flavor and Solidity verifier #8243

Merged
merged 31 commits into from
Sep 6, 2024
Merged
Show file tree
Hide file tree
Changes from 10 commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
7ed2034
ensure UltraKeccak Flavor works with Poseidon relations added
maramihali Aug 21, 2024
ccd4310
solidity work
maramihali Aug 27, 2024
ca90281
it works?
maramihali Aug 30, 2024
83b1676
actually reduce contract size
maramihali Sep 3, 2024
1f31dbf
actually reduce contract size
maramihali Sep 3, 2024
5f66aeb
deployed external libraries separately, change constants
maramihali Sep 3, 2024
b959b99
Merge remote-tracking branch 'refs/remotes/origin/mm/poseidon-in-soli…
maramihali Sep 4, 2024
b112c01
Merge remote-tracking branch 'origin/master' into mm/poseidon-in-soli…
maramihali Sep 4, 2024
ed4b6ee
handle the changes in sol-test so that it still works for both honk a…
maramihali Sep 4, 2024
061cb0c
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 4, 2024
bd23c9b
cleanup
maramihali Sep 4, 2024
af21066
Merge remote-tracking branch 'refs/remotes/origin/mm/poseidon-in-soli…
maramihali Sep 4, 2024
8b7d4f9
Merge remote-tracking branch 'origin/master' into mm/poseidon-in-soli…
maramihali Sep 4, 2024
ddf4195
undelete yarn.lock
maramihali Sep 4, 2024
83060a9
redo the console.logs
maramihali Sep 4, 2024
cbb44f9
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 4, 2024
7df58d2
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 4, 2024
0b96a88
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 4, 2024
f1823e6
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 4, 2024
9aad525
Merge remote-tracking branch 'origin/master' into mm/poseidon-in-soli…
maramihali Sep 5, 2024
5ad2e2a
revert unwanted changes to vk hashes
maramihali Sep 5, 2024
53a074c
Resolve review comments
maramihali Sep 5, 2024
ee3bb3e
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 5, 2024
d2877c0
fix comment
maramihali Sep 5, 2024
52a9429
Merge remote-tracking branch 'refs/remotes/origin/mm/poseidon-in-soli…
maramihali Sep 5, 2024
62f2b06
fix comment
maramihali Sep 5, 2024
17e5b2f
update comment
maramihali Sep 5, 2024
4daa0f7
make external functions internal to fix e2e prover
maramihali Sep 5, 2024
fae8cfb
Merge remote-tracking branch 'origin/master' into mm/poseidon-in-soli…
maramihali Sep 5, 2024
7202723
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 5, 2024
63436d3
Merge branch 'master' into mm/poseidon-in-solidity
maramihali Sep 5, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion barretenberg/acir_tests/flows/honk_sol.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ export VERIFIER_PATH="$(pwd)/Verifier.sol"
export TEST_PATH=$(realpath "../../sol-test/HonkTest.sol")
export TESTING_HONK="true"

# Use solcjs to compile the generated key contract with the template verifier and test contract
# Use solcjs to compile the generated key contract with the template verifier and test contract
# index.js will start an anvil, on a random port
# Deploy the verifier then send a test transaction
export TEST_NAME=$(basename $(pwd))
Expand Down
104 changes: 104 additions & 0 deletions barretenberg/acir_tests/package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

5 changes: 5 additions & 0 deletions barretenberg/acir_tests/package.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"dependencies": {
"solc": "^0.8.26"
}
}
Loading
Loading