Yes, your IPv6 address 6000::8000:1/128 is part of the 6000::8000:0/112 subnet. Here's how to verify this using bitwise operations, step by step:

Core Logic #

IPv6 subnets are defined by a prefix length: /112 means the first 112 bits of the address are the network identifier, and the remaining 16 bits are for host addresses. To confirm membership:

1. Convert both the target address and subnet network address to 128-bit integers.
2. Create a subnet mask with the first 112 bits set to 1 and the last 16 bits set to 0.
3. Use the bitwise AND operation to strip the host bits from both addresses.
4. If the resulting values are identical, the target address belongs to the subnet.

Step-by-Step Breakdown #

1. Expand IPv6 Addresses #

First, expand compressed addresses to their full 128-bit form:

• Target address: 6000::8000:1 → 6000:0000:0000:0000:0000:0000:8000:0001
• Subnet network address: 6000::8000:0 → 6000:0000:0000:0000:0000:0000:8000:0000

2. Create the Subnet Mask #

For /112, the mask is a 128-bit value where the first 112 bits are 1 and the last 16 are 0. In hexadecimal, this is:

0xffffffffffffffffffffffffffff0000

3. Apply Bitwise AND #

When we apply the mask to both addresses:

• 6000:0000:0000:0000:0000:0000:8000:0001 & mask → 6000:0000:0000:0000:0000:0000:8000:0000
• 6000:0000:0000:0000:0000:0000:8000:0000 & mask → same as above

Since the results match, the target address is in the subnet.

Code Implementation (Python) #

Here’s a manual implementation using bitwise operations:

def ipv6_to_int(ip_str):
    # Expand compressed IPv6 addresses
    if '::' in ip_str:
        left, right = ip_str.split('::')
        left_groups = left.split(':') if left else []
        right_groups = right.split(':') if right else []
        missing_groups = 8 - len(left_groups) - len(right_groups)
        expanded = left_groups + ['0000'] * missing_groups + right_groups
    else:
        expanded = ip_str.split(':')
    
    # Convert to 128-bit integer
    ip_int = 0
    for group in expanded:
        ip_int = (ip_int << 16) | int(group, 16)
    return ip_int

# Define addresses and prefix
target_ip = "6000::8000:1"
subnet_ip = "6000::8000:0"
prefix_length = 112

# Calculate subnet mask
mask = ((1 << 128) - 1) ^ ((1 << (128 - prefix_length)) - 1)

# Convert addresses to integers
target_int = ipv6_to_int(target_ip)
subnet_int = ipv6_to_int(subnet_ip)

# Check membership
if (target_int & mask) == (subnet_int & mask):
    print("✅ The address is part of the subnet.")
else:
    print("❌ The address is NOT part of the subnet.")

Simplified Alternative (Using Built-in Library) #

If you don’t need to implement bitwise operations manually, Python’s ipaddress module handles this out of the box:

import ipaddress

target = ipaddress.IPv6Address("6000::8000:1")
subnet = ipaddress.IPv6Network("6000::8000:0/112", strict=False)

print("✅ Address is in subnet." if target in subnet else "❌ Address not in subnet.")

内容的提问来源于stack exchange，提问作者sumit kumar