![]() |
VOOZH | about |
# Clone
git clone https://codeberg.org/ErickAlexander/Primal-Origins-SoC-IP-Core.git
cd Primal-Origins-SoC-IP-Core
# Verify (1.7M+ tests in Docker)
docker build -t primal-verify . && docker run --rm primal-verify
# Or run directly
pip install hypothesis numpy scipy
python verification/run_all_verification.pyCore RTL: rtl/stack02_hardlaw/smf_unit.sv โ The Hard-Law Economic Engine
Every financial system has a backdoor.
| System | Who Can Change the Rules |
|---|---|
| Central Banking | Monetary policy committees |
| Commercial Banking | Terms of service updates |
| Cryptocurrency | Hard forks, governance votes |
| Smart Contracts | Upgrade proxies, admin keys |
| Payment Networks | Unilateral fee changes |
Software can be patched. Consensus can be bought. Keys can be compromised.
The root cause: economic rules exist as information, which can be copied, modified, and replaced.
Encode economic rules as physics.
When you fabricate an integrated circuit, logic gates are physically instantiated in silicon. Changing that logic requires:
This is not "code is law." This is physics is law.
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
โ THE HARD-LAW SPLIT (Metal-Mask Constants) โ
โ โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโฃ
โ โ
โ Every transaction through this silicon: โ
โ โ
โ 1.00% โ Infrastructure Fund โ
โ 3.00% โ Liquidity Pool โ
โ 2.18% โ Network Maintenance โ
โ 93.82% โ Recipient โ
โ โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ โ
โ 6.18% TOTAL (Immutable in Transistors) โ
โ โ
โ These percentages are not stored in registers. โ
โ They are etched in transistors. โ
โ Changing them requires new silicon. โ
โ โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโWe don't ask you to trust. We ask you to verify.
| Category | Tests | Pass Rate |
|---|---|---|
| Mathematical Verification | 1,020,150 | 100% |
| Comprehensive Suite | 765,912 | 99.96% |
| Total | 1,786,062 | 99.98% |
| Method | Tool | Result |
|---|---|---|
| Bounded Model Checking | SymbiYosys + Z3 | PROVEN |
| K-Induction | SymbiYosys + Z3 | PROVEN |
| Metric | Result |
|---|---|
| Simulated Duration | 1,000 years |
| Total Transactions | 1,999,597 |
| Integrity Failures | ZERO |
| Final State | Civilization thriving |
All evidence is public: evidence/ contains logs, VCD waveforms, and reports.
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
โ PRIMAL ORIGINS: OMEGA โ
โ 11-Stack SoC Architecture โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโค
โ โ
โ โโโโโโโโโโโ โโโโโโโโโโโ โโโโโโโโโโโ โโโโโโโโโโโ โโโโโโโโโโโ โ
โ โ STACK01 โ โ STACK02 โ โ STACK03 โ โ STACK05 โ โ STACK06 โ โ
โ โ PUF โ โHARD-LAW โ โBIOLATCH โ โ AES-256 โ โ MESH โ โ
โ โIdentity โ โ Engine โ โLifecycleโ โ Crypto โ โ NoC โ โ
โ โโโโโโฌโโโโโ โโโโโโฌโโโโโ โโโโโโฌโโโโโ โโโโโโฌโโโโโ โโโโโโฌโโโโโ โ
โ โ โ โ โ โ โ
โ โโโโโโโโโโโโโโดโโโโโโโโโโโโโดโโโโโโโโโโโโโดโโโโโโโโโโโโโ โ
โ โ โ
โ โโโโโโโโโโโดโโโโโโโโโโ โ
โ โ STACK07: PULSE โ โ
โ โ Governance Core โ โ
โ โโโโโโโโโโโโโโโโโโโโโ โ
โ โ
โ โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ โ
โ โ INFRASTRUCTURE โ โ
โ โ DFT (JTAG/MBIST/LBIST) โข SEU Protection โข Clock/Reset โ โ
โ โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ โ
โ โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโCore Innovation: The Hard-Law Engine (Stack 02) โ a 3-stage pipelined arithmetic unit computing the 6.18% split using metal-mask constants. See rtl/stack02_hardlaw/smf_unit.sv.
| Parameter | Value |
|---|---|
| Target Process | Universal โ Process-agnostic RTL, portable to any node |
| Integration | Drop-in IP block for SoCs, MCUs, FPGAs, ASICs |
| Frequency | Clock-independent (synthesizer determines max frequency) |
| Latency | 3 clock cycles per transaction |
| Throughput | 1 transaction per 3 clocks (scales with frequency) |
| Arithmetic | 128-bit fixed-point |
| Economic Split | 6.18% (immutable) |
| Identity | 4096-bit SRAM PUF |
| Encryption | AES-256 (14-round) |
| Network | 4ร4 mesh NoC, XY routing |
| RTL Modules | 31 SystemVerilog files |
| License | CERN-OHL-S v2.0 |
Portability: Pure synthesizable SystemVerilog with no process-specific primitives. Integrate into any chip โ from 180nm legacy nodes to cutting-edge 3nm, FPGAs (Xilinx/Intel), or custom ASICs.
| Use Case | Value Proposition |
|---|---|
| CBDCs | Monetary policy citizens can verify, governments cannot secretly modify |
| Crypto Exchanges | Auditable, tamper-proof fee structures |
| Creator Platforms | Revenue splits that cannot be changed after the fact |
| Trade Finance | Trustless escrow without intermediaries |
| IoT Payments | Micropayment rails with hardware-guaranteed fees |
| Milestone | Status |
|---|---|
| RTL Design | โ Complete (31 modules) |
| Verification | โ 1.7M+ tests passing |
| Formal Proof | โ SMT-proven |
| 1000-Year Simulation | โ Zero failures |
| Open Synthesis | โ Yosys verified |
| CI/CD Pipeline | โ Codeberg Woodpecker |
| FPGA Validation | ๐ In progress |
| Commercial Synthesis | โณ Seeking EDA partner |
| Silicon Tape-out | โณ Seeking foundry partner |
docker build -t primal-verify . && docker run --rm primal-verify# The Hard-Law Engine
cat rtl/stack02_hardlaw/smf_unit.sv
# Top-level integration
cat rtl/top/origin_v_core.sv| If You Have | How You Can Help |
|---|---|
| Time | Review code, report bugs, improve docs |
| FPGA | Validate on hardware |
| EDA Tools | Run commercial synthesis |
| Capital | Fund a shuttle run |
| Connections | Introduce us to foundries |
See CONTRIBUTING.md and PARTNERS.md.
primal-origins-omega/
โโโ rtl/ # SystemVerilog source (31 modules)
โ โโโ stack02_hardlaw/ # The core: Hard-Law Engine
โ โโโ stack05_storage/ # AES-256 encryption
โ โโโ stack06_mesh/ # 4ร4 NoC
โ โโโ top/ # Top-level integration
โโโ verification/ # 1.7M+ tests
โ โโโ standalone/ # Mathematical verification
โ โโโ formal/ # SymbiYosys proofs
โ โโโ cocotb/ # Python testbenches
โโโ evidence/ # Execution logs, VCD waveforms
โโโ docs/ # Technical documentation
โโโ synthesis/ # Timing constraints, power intent
โโโ Dockerfile # Reproducible environment
โโโ README.md # You are here| Document | Description |
|---|---|
| Whitepaper | Technical specification |
| Architecture Manual | All 11 stacks |
| Verification Evidence | Test results |
| Vision | Why we built this |
| Partners | How to collaborate |
| Platform | URL |
|---|---|
| Codeberg (main) | codeberg.org/ErickAlexander/Primal-Origins-SoC-IP-Core |
| OpenCores (mirror) | opencores.org/projects/primal_origins_soc |
| CI Pipeline | ci.codeberg.org |
CERN Open Hardware Licence v2 โ Strongly Reciprocal
You may use, modify, and distribute this design. Modifications must be shared under the same license. See LICENSE.