Skip to content

Commit

Permalink
Update github links (privacy-scaling-explorations#218)
Browse files Browse the repository at this point in the history
Merge with one approval as this is a non-complicated change.
  • Loading branch information
xiaodino authored Jun 5, 2022
1 parent de0ea4a commit 8952cf8
Show file tree
Hide file tree
Showing 5 changed files with 10 additions and 10 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Zkevm Specifications

[![Python package](https://github.com/appliedzkp/zkevm-specs/actions/workflows/python-package.yml/badge.svg)](https://github.com/appliedzkp/zkevm-specs/actions/workflows/python-package.yml)
[![Python package](https://github.com/privacy-scaling-explorations/zkevm-specs/actions/workflows/python-package.yml/badge.svg)](https://github.com/privacy-scaling-explorations/zkevm-specs/actions/workflows/python-package.yml)

The project aims to define a validity snark proof for Ethereum transactions.

Expand All @@ -26,4 +26,4 @@ make test

## Implementations

See [appliedzkp/zkevm-circuits](https://github.com/appliedzkp/zkevm-circuits)
See [privacy-scaling-explorations/zkevm-circuits](https://github.com/privacy-scaling-explorations/zkevm-circuits)
4 changes: 2 additions & 2 deletions setup.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ author = zkevm-team
description = Zkevm specifications
long_description = file: README.md
long_description_content_type = text/markdown
url = https://github.com/appliedzkp/zkevm-specs/
url = https://github.com/privacy-scaling-explorations/zkevm-specs/
project_urls =
Bug Tracker = https://github.com/appliedzkp/zkevm-specs/issues
Bug Tracker = https://github.com/privacy-scaling-explorations/zkevm-specs/issues
classifiers =
Programming Language :: Python :: 3
License :: OSI Approved :: MIT License
Expand Down
2 changes: 1 addition & 1 deletion src/zkevm_specs/evm/execution/calldatasize.py
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ def calldatasize(instruction: Instruction):
instruction.constrain_equal(
instruction.call_context_lookup(CallContextFieldTag.CallDataLength),
# NOTE: We can replace this with N_BYTES_WORD if we reuse the 32 byte RLC constraint in
# all places. See: https://github.com/appliedzkp/zkevm-specs/issues/101
# all places. See: https://github.com/privacy-scaling-explorations/zkevm-specs/issues/101
instruction.rlc_to_fq(instruction.stack_push(), N_BYTES_MEMORY_ADDRESS),
)

Expand Down
2 changes: 1 addition & 1 deletion src/zkevm_specs/evm/execution/caller.py
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ def caller(instruction: Instruction):
instruction.constrain_equal(
instruction.call_context_lookup(CallContextFieldTag.CallerAddress),
# NOTE: We can replace this with N_BYTES_WORD if we reuse the 32 byte RLC constraint in
# all places. See: https://github.com/appliedzkp/zkevm-specs/issues/101
# all places. See: https://github.com/privacy-scaling-explorations/zkevm-specs/issues/101
instruction.rlc_to_fq(instruction.stack_push(), N_BYTES_ACCOUNT_ADDRESS),
)

Expand Down
8 changes: 4 additions & 4 deletions src/zkevm_specs/tx.py
Original file line number Diff line number Diff line change
Expand Up @@ -47,8 +47,8 @@ def __init__(self, tx_id: FQ, tag: FQ, index: FQ, value: FQ):

# TODO: Review if the keccak table layout used here matches the final keccak
# lookup table layout in the spec.
# - Keccak input spec PR https://github.com/appliedzkp/zkevm-specs/pull/147
# - Tracking issue https://github.com/appliedzkp/zkevm-specs/issues/158
# - Keccak input spec PR https://github.com/privacy-scaling-explorations/zkevm-specs/pull/147
# - Tracking issue https://github.com/privacy-scaling-explorations/zkevm-specs/issues/158
class KeccakTable:
# The columns are: (is_enabled, input_rlc, input_len, output_rlc)
table: Set[Tuple[FQ, FQ, FQ, FQ]]
Expand Down Expand Up @@ -78,7 +78,7 @@ def lookup(self, is_enabled: FQ, input_rlc: FQ, input_len: FQ, output_rlc: FQ, a
class WrongFieldInteger:
"""
Wrong Field arithmetic Integer, representing the implementation at
https://github.com/appliedzkp/halo2wrong/blob/master/integer/src/integer.rs
https://github.com/privacy-scaling-explorations/halo2wrong/blob/master/integer/src/integer.rs
"""

limbs: Tuple[FQ, FQ, FQ, FQ] # Little-Endian limbs of [72, 72, 72, 40] bits
Expand Down Expand Up @@ -121,7 +121,7 @@ class ECDSAVerifyChip:
"""
ECDSA Signature Verification Chip. This represents an ECDSA signature
verification Chip as implemented in
https://github.com/appliedzkp/halo2wrong/blob/master/ecdsa/src/ecdsa.rs
https://github.com/privacy-scaling-explorations/halo2wrong/blob/master/ecdsa/src/ecdsa.rs
"""

signature: Tuple[Secp256k1ScalarField, Secp256k1ScalarField]
Expand Down

0 comments on commit 8952cf8

Please sign in to comment.